481 search results - page 6 / 97 » Model Checking Abstract State Machines and Beyond |
MODELLIERUNG
2004
15 years 5 months ago
2004
APAL
2005
15 years 4 months ago
2005
161
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
144
click to vote
ROBOCUP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...