Monotonic Abstraction in Parameterized Verification

13 years 11 months ago

Download user.it.uu.se

c Abstraction in Parameterized Verification Parosh Aziz Abdulla1 Department of Information Technology Uppsala University Sweden Giorgio Delzanno2 Dipartimento Informatica e Scienze dell

Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin

Real-time Traffic

ENTCS 2008 | Giorgio Delzanno2 Dipartimento | Parameterized Systems | Parameterized Verification Parosh |

claim paper

» Forcing Monotonicity in Parameterized Verification From Multisets to Words

» On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT

» An invariantbased approach to the verification of asynchronous parameterized networks

» Approximated ContextSensitive Analysis for Parameterized Verification

» Reachability Analysis in Verification via Supercompilation

» Parameterized Tree Systems

» Exact and Efficient Verification of Parameterized Cache Coherence Protocols

» A Simple Method for Parameterized Verification of Cache Coherence Protocols

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	ENTCS
Authors	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine

Comments (0)

Sciweavers

Monotonic Abstraction in Parameterized Verification

ENTCS 2008 | Giorgio Delzanno2 Dipartimento | Parameterized Systems | Parameterized Verification Parosh |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers