2878 search results - page 5 / 576 » Model Checking FTA |
105
Voted
IEAAIE
2011
Springer
14 years 28 days ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
100
click to vote
SPIN
2010
Springer
14 years 7 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
144
click to vote
ASE
2011
14 years 4 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
77
Voted
IFIP
2009
Springer
14 years 7 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
90
Voted
WCET
2010
14 years 7 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...