1895 search results - page 185 / 379 » Using ATL for Checking Models |
177
click to vote
SDL
2003
15 years 7 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
180
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
226
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
177
click to vote
ECMDAFA
2007
Springer
16 years 14 days ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
139
click to vote
SPIN
2000
Springer
15 years 10 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...