899 search results - page 71 / 180 » A CTL-Based Logic for Program Abstractions |
126
Voted
COMPSAC
2009
IEEE
15 years 1 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
86
Voted
ADAEUROPE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
131
click to vote
IGPL
2006
15 years 18 days ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
101
Voted
AAAI
2008
15 years 2 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
100
click to vote
AAMAS
2006
Springer
15 years 21 days ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...