Search results for "parameterized verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Michael Emmi, Rupak Majumdar, Roman Manevich	Parameterized verification of transactional memories.	PLDI	2010	DBLP DOI BibTeX RDF	parameterized verification, transactional memory
2	Yongjian Li	Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols.	SAC	2007	DBLP DOI BibTeX RDF	parameterized verification, theorem proving, symmetry
2	Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park	A Simple Method for Parameterized Verification of Cache Coherence Protocols.	FMCAD	2004	DBLP DOI BibTeX RDF
1	Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro	Parameterized Verification of Safety Properties in Ad Hoc Network Protocols	PACO	2011	DBLP DOI BibTeX RDF
1	Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro	On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks.	FOSSACS	2011	DBLP DOI BibTeX RDF
1	Alexei Lisitsa	Finite Model Finding for Parameterized Verification	CoRR	2010	DBLP BibTeX RDF
1	Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine	Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.	CONCUR	2010	DBLP DOI BibTeX RDF
1	Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro	Parameterized Verification of Ad Hoc Networks.	CONCUR	2010	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla	Forcing Monotonicity in Parameterized Verification: From Multisets to Words.	SOFSEM	2010	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Approximated parameterized verification of infinite-state processes with global conditions.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	Unbounded processes, Over-approximation, Parameterized systems
1	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Approximated Context-Sensitive Analysis for Parameterized Verification.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
1	Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler	Verification of Parameterized Systems with Combinations of Abstract Domains.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Monotonic Abstraction in Parameterized Verification.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Murali Talupur, Mark R. Tuttle	Going with the Flow: Parameterized Verification Using Message Flows.	FMCAD	2008	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine	Parameterized Tree Systems.	FORTE	2008	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Monotonic Abstraction in Action.	ICTAC	2008	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith	Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems.	TACAS	2008	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Parameterized Verification of Infinite-State Processes with Global Conditions.	CAV	2007	DBLP DOI BibTeX RDF
1	Kedar S. Namjoshi	Symmetry and Completeness in the Analysis of Parameterized Systems.	VMCAI	2007	DBLP DOI BibTeX RDF
1	Ping Yang, Samik Basu, C. R. Ramakrishnan	Parameterized Verification of pi-Calculus Systems.	TACAS	2006	DBLP DOI BibTeX RDF
1	Geoffrey M. Brown, Lee Pike	Easy Parameterized Verification of Biphase Mark and 8N1 Protocols.	TACAS	2006	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith	Environment Abstraction for Parameterized Verification.	VMCAI	2006	DBLP DOI BibTeX RDF
1	Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan	Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification.	CHARME	2005	DBLP DOI BibTeX RDF
1	Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin	Covering sharing trees: a compact data structure for parameterized verification.	STTT	2004	DBLP DOI BibTeX RDF	Efficient data structures, Heuristics, Static analysis, Constraints, Symbolic model checking, Infinite-state systems
1	Tamarah Arons, Amir Pnueli, Lenore D. Zuck	Parameterized Verification by Probabilistic Abstraction.	FoSSaCS	2003	DBLP DOI BibTeX RDF
1	Marc Boyer, Mihaela Sighireanu	Synthesis and Verification of Constraints in the PGM Protocol.	FME	2003	DBLP DOI BibTeX RDF	PGM protocol, real-time multicast protocol, finite and timed model-checking, parameterized verification, constraint synthesis
1	E. Allen Emerson, Vineet Kahlon	Exact and Efficient Verification of Parameterized Cache Coherence Protocols.	CHARME	2003	DBLP DOI BibTeX RDF
1	E. Allen Emerson, Vineet Kahlon	Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols.	TACAS	2003	DBLP DOI BibTeX RDF
1	Giorgio Delzanno	Constraint-Based Verification of Parameterized Cache Coherence Protocols.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	constraints, abstractions, symbolic model checking, cache coherence protocols
1	Marco Bozzano, Giorgio Delzanno	Beyond Parameterized Verification.	TACAS	2002	DBLP DOI BibTeX RDF
1	Kai Baukus, Yassine Lakhnech, Karsten Stahl	Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin	Towards the Automated Verification of Multithreaded Java Programs.	TACAS	2002	DBLP DOI BibTeX RDF
1	Thomas Ball, Sagar Chaki, Sriram K. Rajamani	Parameterized Verification of Multithreaded Software Libraries.	TACAS	2001	DBLP DOI BibTeX RDF
1	Kenneth L. McMillan	Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking.	CHARME	2001	DBLP DOI BibTeX RDF
1	Amir Pnueli	Sticks and stones: a coding scheme for parameterized verification.	PODC	2001	DBLP DOI BibTeX RDF
1	Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck	Parameterized Verification with Automatically Computed Inductive Assertions.	CAV	2001	DBLP DOI BibTeX RDF
1	Dana Fisman, Amir Pnueli	Beyond Regular Model Checking.	FSTTCS	2001	DBLP DOI BibTeX RDF
1	Amir Pnueli, Elad Shahar	Liveness and Acceleration in Parameterized Verification.	CAV	2000	DBLP DOI BibTeX RDF
1	A. Prasad Sistla, Viktor Gyuris	Parameterized Verification of Linear Networks using Automata as Invariants.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Safety, Invariants, Automata, Induction, Liveness, Linear networks