1463 search results - page 159 / 293 » Model Checking Implicit-Invocation Systems |
133
click to vote
ISORC
1999
IEEE
15 years 5 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
108
click to vote
CAISE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
104
click to vote
CAV
2009
Springer
15 years 8 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
105
click to vote
ACSC
2004
IEEE
15 years 5 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...