Sciweavers

Share
2311 search results - page 1 / 463
» Temporal Abstract Interpretation
Sort
View
TAGT
1998
Springer
317views Graph Theory» more  TAGT 1998»
9 years 1 months ago
A Fully Abstract Model for Graph-Interpreted Temporal Logic
Fabio Gadducci, Reiko Heckel, Manuel Koch
POPL
2000
ACM
9 years 1 months ago
Temporal Abstract Interpretation
Patrick Cousot, Radhia Cousot
APLAS
2005
ACM
9 years 2 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»
8 years 7 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...
books