899 search results - page 146 / 180 » A CTL-Based Logic for Program Abstractions |
104
Voted
LISA
2004
15 years 1 months ago
2004
A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: bo...
108
Voted
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
216
click to vote
POPL
2007
ACM
16 years 22 days ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
132
Voted
ICFP
2004
ACM
16 years 11 days ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...