85 search results - page 11 / 17 » Specification, validation, and verification of time-critical... |
KBSE
2005
IEEE
14 years 8 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
ASM
2008
ASM
13 years 8 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
ROOM
2000
13 years 8 months ago
2000
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...
ENTCS
2002
13 years 6 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
SIGSOFT
2010
ACM
13 years 4 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...