8 search results - page 1 / 2 » ARMC: The Logical Choice for Software Model Checking with Ab... |
PADL
2007
Springer
15 years 5 months ago
2007
Springer
91
Voted
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
184
click to vote
ICTAC
2010
Springer
14 years 10 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
POPL
2010
ACM
14 years 11 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
100
click to vote
SIGSOFT
2006
ACM
16 years 10 days 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...