Extending promela and spin for real time (1996)
Cached
Download Links
by
Stavros Tripakis
,
Costas Courcoubetis
| Venue: | TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROC. 2ND INT. WORKSHOP, TACAS’96, LECTURE NOTES IN COMPUTER SCIENCE |
| Citations: | 19 - 4 self |
BibTeX
@INPROCEEDINGS{Tripakis96extendingpromela,
author = {Stavros Tripakis and Costas Courcoubetis},
title = {Extending promela and spin for real time},
booktitle = {TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROC. 2ND INT. WORKSHOP, TACAS’96, LECTURE NOTES IN COMPUTER SCIENCE},
year = {1996},
pages = {329--348},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The efficient representation and manipulation of time information is key to any successful implementation of a verification tool. We extend the syntax and semantics of the higher level specification language Promela to include constructs and statements based on the model of timed Büchi automata [2]. We implement these extensions on top of the verification tool Spin.
