Search results for "distributed model checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry	dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.	ICATPN	2007	DBLP DOI BibTeX RDF	GreatSPN, Distributed Model Checking, Symbolic Reachability Graph
2	Susmit Jha, R. K. Shyamasundar	Adapting Biochemical Kripke Structures for Distributed Model Checking.	T. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
1	Mohand Cherif Boukala, Laure Petrucci	Distributed model-checking and counterexample search for CTL logic.	IJCCBS	2012	DBLP DOI BibTeX RDF
1	Stéphane Grumbach, Zhilin Wu	On Distributed Model Checking of MSO on Graphs	CoRR	2009	DBLP BibTeX RDF
1	Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan	Parallel and distributed model checking in Eddy.	STTT	2009	DBLP DOI BibTeX RDF
1	Antti Valmari	Software model checking is a rich research field.	STTT	2009	DBLP DOI BibTeX RDF	Distributed model checking, Directed model checking, Satisfiability, Symbolic execution, Bounded model checking, State space, Partial-order methods
1	Sami Evangelista, Lars Michael Kristensen	Dynamic State Space Partitioning for External Memory Model Checking.	FMICS	2009	DBLP DOI BibTeX RDF
1	Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg	IibDMC: a Library to Operate Efficient Distributed Model Checking.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Eric Fabre	Trellis Processes : A Compact Representation for Runs of Concurrent Systems.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	True concurrency semantics, Petri net, Diagnosis, Product, Factorization, Concurrent system, Unfolding, Category theory, Branching process, Trellis
1	Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan	Parallel and Distributed Model Checking in Eddy.	SPIN	2006	DBLP DOI BibTeX RDF
1	Anton Wijs, Bert Lisser	Distributed Extended Beam Search for Quantitative Model Checking.	MoChArt	2006	DBLP DOI BibTeX RDF	directed model checking, distributed model checking, scheduling, beam search
1	Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero	A toolsuite for the verification of real-time systems in Eclipse.	ETX	2006	DBLP DOI BibTeX RDF	LAPSUS, OBSSLICE, timed model checking, verification, timed automata, Eclipse, Eclipse plug-in, ZEUS, VTS
1	Christophe Pajault, Jean-François Pradat-Peyre	Distributed Colored Petri Net Model-Checking with Cyclades.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Shahid Jabbar	Large-Scale Directed Model Checking LTL.	SPIN	2006	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad	Brief Announcement: Distributed Synthesis of Fault-Tolerance.	SSS	2006	DBLP DOI BibTeX RDF
1	Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps	Weighted Pushdown Systems and Trust-Management Systems.	TACAS	2006	DBLP DOI BibTeX RDF
1	Alexander Bell, Boudewijn R. Haverkort	Sequential and distributed model checking of Petri nets.	STTT	2005	DBLP DOI BibTeX RDF
1	Yves Bontemps, Pierre-Yves Schobbens	The Complexity of Live Sequence Charts.	FoSSaCS	2005	DBLP DOI BibTeX RDF
1	Lubos Brim, Orna Grumberg	Introductory paper.	STTT	2005	DBLP DOI BibTeX RDF	Parallel verification, Model checking, Distributed computing
1	Christophe Joubert	Distributed Model Checking: From Abstract Algorithms to Concrete Implementations.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Assaf Schuster	Scalable Distributed Model Checking: Experiences, Lessons, and Expectations.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Orna Grumberg	Different directions in parallel and distributed model checking (invited talk).	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Tomás Brázdil, Ivana Cerná	Local Distributed Model Checking of RegCTL.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Alexander Bell, Boudewijn R. Haverkort	Sequential and Distributed Model Checking of Petri Net Specifications.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek	Distributed LTL Model Checking Based on Negative Cycle Detection.	FSTTCS	2001	DBLP DOI BibTeX RDF
1	Flavio Lerda, Willem Visser	Addressing Dynamic Issues of Program Model Checking.	SPIN	2001	DBLP DOI BibTeX RDF