200 search results - page 1 / 40 » State Event-Based Software Model Checking |
85
Voted
IFM
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
94
Voted
FMOODS
2007
15 years 10 days ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
94
Voted
FORTE
2007
15 years 10 days ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
70
Voted
JUCS
2007
14 years 10 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...