1108 search results - page 113 / 222 » Model Checking of Safety Properties |
132
Voted
AAAI
2006
15 years 2 months ago
2006
This paper presents a computational model of negotiation based on Nebel's syntax-based belief revision. The model guarantees a unique bargaining solution for each bargaining ...
105
click to vote
CBSE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
94
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
84
Voted
FASE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
99
Voted
QEST
2009
IEEE
15 years 7 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....