Sciweavers

141 search results - page 1 / 29
» Beyond Regular Model Checking
Sort
View
FSTTCS
2001
Springer
14 years 3 months ago
Beyond Regular Model Checking
Abstract. Regular Model-Checking (RMC) is a technique for the formal verification of infinite state systems based on the theory of regular languages. In the paper “Beyond Regul...
Dana Fisman, Amir Pnueli
JUCS
2007
116views more  JUCS 2007»
13 years 11 months ago
Model Checking: Software and Beyond
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
Edmund M. Clarke, Flavio Lerda
DAC
2005
ACM
15 years 2 days ago
Beyond safety: customized SAT-based model checking
Malay K. Ganai, Aarti Gupta, Pranav Ashar
PAPM
2001
Springer
126views Mathematics» more  PAPM 2001»
14 years 3 months ago
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains
Abstract. Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...
Gabriel G. Infante López, Holger Hermanns, ...
CSL
2009
Springer
14 years 5 months ago
Model Checking FO(R) over One-Counter Processes and beyond
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
Anthony Widjaja To