Paper Info
Title
Combining Forward and Backward Analyses of Temporal Properties
Abstract
Abstract: In this paper we extend the well-known combination of forwardand backward static analyses in abstract interpretation for theverication of complex temporal properties for transition systems. First,we show that this combination, whose results are often better than thoseobtained by using both analyses separately, can be used to check simpletemporal properties with just one xpoint. Then we extend this resultto more complex temporal properties, including a superset of Ctl in thecase of...
Year
Venue
Keywords
2001
Symposium on Programs as Data Objects
simple temporal property,temporal properties,non-game property,game property,abstract interpretation,complex temporal property,backward analyses,transition system,combining forward,well-known combination,static analysis
Field
DocType
Volume
Subset and superset,Abstract interpretation,Computer science,Algorithm,Fixed point,Temporal logic,Program analysis,CTL*
Conference
2053
ISSN
ISBN
Citations 
0302-9743
3-540-42068-1
12
PageRank 
References 
Authors
0.68
8
1
Name
Order
Citations
PageRank
Damien Masse1120.68