5216 search results - page 103 / 1044 » Planning as Model Checking |
85
Voted
ASE
2005
15 years 18 days ago
2005
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...
131
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
70
Voted
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
82
Voted
ENTCS
2006
15 years 21 days ago
2006
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...
110
click to vote
FUIN
2000
15 years 15 days ago
2000
The general stubborn set approach to CTL model checking 2] has the drawback that one either nds a stubborn set with only one enabled transition or one has to expand all enabled tra...