8 search results - page 1 / 2 » ARMC: The Logical Choice for Software Model Checking with Ab... |
70
Voted
PADL
2007
Springer
15 years 6 months ago
2007
Springer
ATVA
2008
Springer
15 years 2 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...
195
click to vote
ICTAC
2010
Springer
14 years 11 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...
103
click to vote
POPL
2010
ACM
15 years 16 days 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 ...
107
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...