Search results for "NuSMV"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Wonhong Nam, Rajeev Alur	Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition.	ATVA	2006	DBLP DOI BibTeX RDF
14	Toni Jussila, Keijo Heljanko, Ilkka Niemelä	BMC via on-the-fly determinization.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Verification, Labeled transition system, Bounded model checking
14	Rajeev Alur, P. Madhusudan, Wonhong Nam	Symbolic Compositional Verification by Learning Assumptions.	CAV	2005	DBLP DOI BibTeX RDF
14	Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci	Automated analysis of timed security: a case study on web privacy.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Web privacy, Model checking tools, Timed behavior
14	Ariel Fuxman, Lin Liu 0001, John Mylopoulos, Marco Roveri, Paolo Traverso	Specifying and analyzing early requirements in Tropos.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Early requirements specifications, Model checking, Formal methods
14	Edmund M. Clarke, Anubhav Gupta 0001, Ofer Strichman	SAT-based counterexample-guided abstraction refinement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
14	Vitus S. W. Lam, Julian A. Padget	Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach.	ECBS	2004	DBLP DOI BibTeX RDF
14	Nicolas Markey, Philippe Schnoebelen	TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems.	QEST	2004	DBLP DOI BibTeX RDF
14	Richard Banach, R. Cross	Safety Requirements and Fault Trees Using Retrenchment.	SAFECOMP	2004	DBLP DOI BibTeX RDF
14	Gihwon Kwon, Taehoon Lee	Solving Box-Pushing Games via Model Checking with Optimizations.	ATVA	2004	DBLP DOI BibTeX RDF
14	Marco Benedetti, Sara Bernardini	Incremental Compilation-to-SAT Procedures.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
14	Paul B. Jackson, Daniel Sheridan	Clause Form Conversions for Boolean Circuits.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
14	Kairong Qian, Albert Nymeyer	Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases.	TACAS	2004	DBLP DOI BibTeX RDF
14	Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke	CTL Model Checking for Processing Simple XPath Queries.	TIME	2004	DBLP DOI BibTeX RDF
14	Nicolas Markey, Philippe Schnoebelen	Symbolic Model Checking for Simply-Timed Systems.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
14	Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu 0004, Helmut Veith	Counterexample-guided abstraction refinement for symbolic model checking.	J. ACM	2003	DBLP DOI BibTeX RDF	temporal logic, Abstraction, symbolic model checking, hardware verification
14	Gianfranco Ciardo, Radu Siminiceanu	Structural Symbolic CTL Model Checking of Asynchronous Systems.	CAV	2003	DBLP DOI BibTeX RDF
14	Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl	Proving the Shalls.	FME	2003	DBLP DOI BibTeX RDF
14	Ariel Fuxman, Lin Liu 0001, Marco Pistore, Marco Roveri, John Mylopoulos	Specifying and Analyzing Early Requirements: Some Experimental Results.	RE	2003	DBLP DOI BibTeX RDF
14	Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli	Web Applications Design and Maintenance Using Symbolic Model Checking.	CSMR	2003	DBLP DOI BibTeX RDF
14	Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao	Auto-generating Test Sequences Using Model Checkers: A Case Study.	FATES	2003	DBLP DOI BibTeX RDF
14	Marco Benedetti, Alessandro Cimatti	Bounded Model Checking for Past LTL.	TACAS	2003	DBLP DOI BibTeX RDF
14	Nathalie Chabrier, François Fages	Symbolic Model Checking of Biochemical Networks.	CMSB	2003	DBLP DOI BibTeX RDF
14	Yunja Choi, Mats Per Erik Heimdahl	Model Checking Software Requirement Specifications using Domain Reduction Abstraction.	ASE	2003	DBLP DOI BibTeX RDF
14	Alessio Lomuscio, Franco Raimondi, Marek J. Sergot	Towards model checking interpreted systems.	AAMAS	2003	DBLP DOI BibTeX RDF	model checking, epistemic logic, deontic logic, interpreted systems
14	Yunja Choi, Mats Per Erik Heimdahl	Model Checking RSML-e Requirements.	HASE	2002	DBLP DOI BibTeX RDF
14	Paul Ammann, Duminda Wijesekera, Saket Kaushik	Scalable, graph-based network vulnerability analysis.	CCS	2002	DBLP DOI BibTeX RDF	monotonic analysis, model checking, scalability, network security, vulnerability, exploit
14	Edmund M. Clarke, Anubhav Gupta 0001, James H. Kukula, Ofer Strichman	SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques.	CAV	2002	DBLP DOI BibTeX RDF
14	Edmund M. Clarke	SAT-Based Counterexample Guided Abstraction Refinement.	SPIN	2002	DBLP DOI BibTeX RDF
14	Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella	Integrating BDD-Based and SAT-Based Symbolic Model Checking.	FroCoS	2002	DBLP DOI BibTeX RDF
14	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Can BDDs compete with SAT solvers on bounded model checking?	DAC	2002	DBLP DOI BibTeX RDF	model checking, formal verification, SAT, BDDs
14	Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino	Planning via Model Checking in Deterministic Domains: Preliminary Report.	AIMSA	1998	DBLP DOI BibTeX RDF	planning & temporal reasoning