1472 search results - page 74 / 295 » On Model Checking Infinite-State Systems |
116
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
129
Voted
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
120
Voted
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
145
click to vote
FSTTCS
2001
Springer
15 years 8 months ago
2001
Springer
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...
116
Voted
ISVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...