DocumentCode
1612629
Title
Building SWIFI tools from temporal logic specifications
Author
Rodriguez, Manuel ; Fabre, Jean-Charles ; Arlat, Jean
Author_Institution
LAAS-CNRS
fYear
2003
Firstpage
95
Lastpage
104
Keywords
Application software; Communication system software; Fault tolerant systems; Logic; Operating systems; Probes; Real time systems; Software testing; System testing; Virtual machining;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on
Print_ISBN
0-7695-1952-0
Type
conf
DOI
10.1109/DSN.2003.1209921
Filename
1209921
Link To Document