Sciweavers

2203 search results - page 1 / 441
» Temporal Abstract Interpretation
Sort
View
POPL
2000
ACM
13 years 8 months ago
Temporal Abstract Interpretation
Patrick Cousot, Radhia Cousot
TAGT
1998
Springer
317views Graph Theory» more  TAGT 1998»
13 years 7 months ago
A Fully Abstract Model for Graph-Interpreted Temporal Logic
Fabio Gadducci, Reiko Heckel, Manuel Koch
APLAS
2005
ACM
13 years 9 months ago
An Abstract Interpretation Perspective on Linear vs. Branching Time
act Interpretation Perspective on Linear vs. Branching Time Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy It is...
Francesco Ranzato, Francesco Tapparo
IPL
2010
94views more  IPL 2010»
13 years 2 months ago
Partial model checking via abstract interpretation
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
Nicoletta De Francesco, Giuseppe Lettieri, Luca Ma...