3387 search results - page 513 / 678 » Model-Checking for Real-Time Systems |
112
Voted
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
117
click to vote
CBSE
2006
Springer
15 years 6 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
147
click to vote
FDL
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
128
click to vote
MMB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
112
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...