DMCA
Combining Forward And Backward Analyses Of Temporal Properties (2001)
by
Damien Masse
| Citations: | 5 - 0 self |
BibTeX
@MISC{Masse01combiningforward,
author = {Damien Masse},
title = {Combining Forward And Backward Analyses Of Temporal Properties},
year = {2001}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In this paper we extend the well-known combination of forward and backward static analyses in abstract interpretation for the verication of complex temporal properties for transition systems. First, we show that this combination, whose results are often better than those obtained by using both analyses separately, can be used to check simple temporal properties with just one xpoint. Then we extend this result to more complex temporal properties, including a superset of Ctl in the case of non-game properties, and a superset of Atl in the case of game properties.
