Paper published in a journal (Scientific congresses and symposiums)
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs
Boigelot, Bernard; Godefroid, Patrice
1997In Lecture Notes in Computer Science, 1217, p. 321-333
Peer reviewed
 

Files


Full Text
BG97.pdf
Author preprint (197.24 kB)
Download

The original publication is available at www.springerlink.com


All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
Automatic Synthesis
Abstract :
[en] VeriSoft is a tool for systematically exploring the state spaces of systems composed of several concurrent processes executing arbitrary C (or C++) code. VeriSoft can automatically detect coordination problems between the concurrent processes of a system. In this paper, we present a method to synthesize a finite-state machine that simulates all the sequences of visible operations of a given process that were observed during a state-space exploration performed by VeriSoft. The examination of this machine makes it possible to discover the dynamic behavior of the process in its environment and to understand how it contributes to the global behavior of the system.
Disciplines :
Computer science
Author, co-author :
Boigelot, Bernard  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique
Godefroid, Patrice
Language :
English
Title :
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs
Publication date :
1997
Event name :
Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop (TACAS '97)
Event place :
Enschede, Netherlands
Audience :
International
Journal title :
Lecture Notes in Computer Science
ISSN :
0302-9743
eISSN :
1611-3349
Publisher :
Springer, Berlin, Germany
Volume :
1217
Pages :
321-333
Peer reviewed :
Peer reviewed
Funders :
Fonds de la Recherche Scientifique (Communauté française de Belgique) - F.R.S.-FNRS, Bell Laboratories
Available on ORBi :
since 03 November 2010

Statistics


Number of views
32 (1 by ULiège)
Number of downloads
115 (0 by ULiège)

Scopus citations®
 
10
Scopus citations®
without self-citations
7
OpenCitations
 
7

Bibliography


Similar publications



Contact ORBi