12981 search results - page 142 / 2597 » Model Checking (Abstract) |
FM
2008
Springer
14 years 11 months ago
2008
Springer
Modal
86
Voted
VAMOS
2010
Springer
14 years 11 months ago
2010
Springer
The complexity of variability models makes it hard for product line engineers to maintain their consistency over time. Engineers need support to detect and resolve inconsistencies....
PPDP
2004
Springer
15 years 3 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
114
click to vote
FMICS
2009
Springer
15 years 2 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
86
Voted
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...