790 search results - page 56 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
155
Voted
ISTCS
1992
Springer
15 years 7 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
152
Voted
ISORC
1999
IEEE
15 years 7 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...
139
Voted
RE
2009
Springer
15 years 10 months ago
2009
Springer
With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modell...
119
Voted
ISW
2005
Springer
15 years 9 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
129
Voted
FDL
2003
IEEE
15 years 9 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...