Title :
Building SWIFI tools from temporal logic specifications
Author :
Rodriguez, Manuel ; Fabre, Jean-Charles ; Arlat, Jean
Author_Institution :
LAAS-CNRS
Keywords :
Application software; Communication system software; Fault tolerant systems; Logic; Operating systems; Probes; Real time systems; Software testing; System testing; Virtual machining;
Conference_Titel :
Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on
Print_ISBN :
0-7695-1952-0
DOI :
10.1109/DSN.2003.1209921
