601 search results - page 60 / 121 » Model Checking CTL Properties of Pushdown Systems |
140
click to vote
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
128
click to vote
CMSB
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
116
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
114
click to vote
IPL
2010
15 years 1 min ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
104
click to vote
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...