30 search results - page 1 / 6 » Optimising Communication Structure for Model Checking |
FASE
2004
Springer
13 years 9 months ago
2004
Springer
FMICS
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
EMSOFT
2005
Springer
13 years 9 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
IWSSD
2000
IEEE
13 years 8 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
FORTE
2008
13 years 5 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...