3335 search results - page 122 / 667 » Grid result checking |
120
Voted
ACSD
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
135
click to vote
ACSD
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper proposes a new approach for the hazard checking of timed asynchronous circuits. Previous papers proposed either exact algorithms, which suffer from statespace explosion...
130
click to vote
PPDP
2004
Springer
15 years 8 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...
155
Voted
FMICS
2009
Springer
15 years 7 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...
135
Voted
EUC
2008
Springer
15 years 5 months ago
2008
Springer
Context-awareness is a key issue in pervasive computing. Context-aware applications are prone to the context consistency problem, where applications are confronted with conflictin...