Paper Info
Title
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs
Abstract
. VeriSoft [God97] is a tool for systematically exploring thestate spaces of systems composed of several concurrent processes executingarbitrary C (or C++) code. VeriSoft can automatically detectcoordination problems between the concurrent processes of a system. Inthis paper, we present a method to synthesize a finite-state machine thatsimulates all the sequences of visible operations of a given process thatwere observed during a state-space exploration performed by VeriSoft.The...
Year
DOI
Venue
1997
10.1007/BFb0035397
TACAS
Field
DocType
Volume
Computer science,Theoretical computer science,Virtual finite-state machine,State space
Conference
1217
ISSN
ISBN
Citations 
0302-9743
3-540-62790-1
10
PageRank 
References 
Authors
1.39
14
2
Name
Order
Citations
PageRank
Bernard Boigelot170748.59
Patrice Godefroid23622275.78