790 search results - page 42 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
157
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
133
click to vote
HASE
1999
IEEE
15 years 6 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
156
click to vote
CIBSE
2008
ACM
15 years 4 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
138
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
123
click to vote
FORMATS
2009
Springer
15 years 8 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...