2872 search results - page 12 / 575 » On (Omega-)Regular Model Checking |
BCS
2008
14 years 11 months ago
2008
Parity games underlie the model checking problem for the modal
ICASSP
2010
IEEE
14 years 5 months ago
2010
IEEE
An operational framework is developed for testing stationarity relatively to an observation scale. The proposed method makes use of a family of stationary surrogates for defining ...
CAV
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
77
Voted
ENTCS
2006
14 years 10 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
LICS
2009
IEEE
15 years 4 months ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...