Search results for "Logic model checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	New Challenges in Model Checking.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	Logic model checking, grand challenge project, flash file system challenge, software reliability, software verification, software structure
2	Alice Miller, Alastair F. Donaldson, Muffy Calder	Symmetry in temporal logic model checking.	ACM Comput. Surv.	2006	DBLP DOI BibTeX RDF	quotient graph, Model checking, symmetry
2	Edmund M. Clarke, Thomas Filkorn, Somesh Jha	Exploiting Symmetry In Temporal Logic Model Checking.	CAV	1993	DBLP DOI BibTeX RDF
1	Simon Busard, Charles Pecheur	Rich Counter-Examples for Temporal-Epistemic Logic Model Checking	IWIGP	2012	DBLP DOI BibTeX RDF
1	Pei He, Lishan Kang, Daochang Huang	Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations.	ISICA	2009	DBLP DOI BibTeX RDF	finite state automaton, model checking, Genetic programming, Hoare logic
1	Cédric Dégremont, Nina Gierasimczuk	Can Doxastic Agents Learn? On the Temporal Structure of Learning.	LORI	2009	DBLP DOI BibTeX RDF	Formal learning theory, doxastic epistemic logic, epistemic update, temporal logic, belief revision, dynamic epistemic logic
1	Anatol Slissenko, Pavel Vasilyev	Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking.	J. UCS	2008	DBLP BibTeX RDF
1	Hugh Anderson, Gabriel Ciobanu, Leo Freitas	UTP and Temporal Logic Model Checking.	UTP	2008	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	Model driven code checking.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Logic model checking, Embedded C code, Software verification, Spin model checker
1	Nick Moffat, Michael Goldsmith, Bill Roscoe	A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking.	ICFEM	2008	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	Tackling Large Verification Problems with the Swarm Tool.	SPIN	2008	DBLP DOI BibTeX RDF
1	Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turner	Conflict Detection in Call Control Using First-Order Logic Model Checking.	ICFI	2007	DBLP BibTeX RDF
1	Christopher James Langmead, Sumit Kumar Jha	Predicting Protein Folding Kinetics Via Temporal Logic Model Checking.	WABI	2007	DBLP DOI BibTeX RDF
1	Andrea Ferrara, Paolo Liberatore, Marco Schaerf	Model Checking and Preprocessing.	AI*IA	2007	DBLP DOI BibTeX RDF	Model Checking, Complexity, Compilability
1	Shoham Ben-David, Dana Fisman, Sitvanit Ruah	Temporal Antecedent Failure: Refining Vacuity.	CONCUR	2007	DBLP DOI BibTeX RDF	Vacuity, SVA, Antecedent failure, Model checking, Temporal logic, Regular expressions, PSL
1	Hana Chockler, Orna Kupferman, Moshe Y. Vardi	Coverage metrics for temporal logic model checking*.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Algorithms, Model checking, Formal verification, Coverage metrics
1	Katia Hristova, Yanhong A. Liu	Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems.	VMCAI	2006	DBLP DOI BibTeX RDF
1	Wiebe van der Hoek, Alessio Lomuscio, Michael Wooldridge	On the complexity of practical ATL model checking.	AAMAS	2006	DBLP DOI BibTeX RDF	verification, complexity, cooperation, logic
1	Peter Csaba Ölveczky, Stian Thorvaldsen	Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Orna Kupferman	Sanity Checks in Formal Verification.	CONCUR	2006	DBLP DOI BibTeX RDF
1	Bow-Yaw Wang	Automatic Verification of a Model Checker by Reflection.	PADL	2006	DBLP DOI BibTeX RDF	Model Checking, Logic Programming, Reflection, Rewriting Logic
1	Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott	Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Real-time systems, Active networks, Formal analysis, Rewriting logic, Object-oriented specification, Multicast protocols
1	Edmund M. Clarke, Ansgar Fehnker, Sumit Kumar Jha, Helmut Veith	Temporal Logic Model Checking.	Handbook of Networked and Embedded Control Systems	2005	DBLP BibTeX RDF
1	Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis	Analysis of recursive state machines.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	recursive state machines, model checking, temporal logic, program analysis, Software verification, context-free languages, pushdown automata
1	Carl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Thomas F. Melham, Mark Aagaard, Clark Barrett, Don Syme	An industrially effective environment for formal hardware verification.	IEEE Trans. on CAD of Integrated Circuits and Systems	2005	DBLP DOI BibTeX RDF
1	Joel Kelso, George Milne	Properties as Processes: Their Specification and Verification.	FORTE	2005	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Theo C. Ruys	Effective Bug Hunting with Spin and Modex.	SPIN	2005	DBLP DOI BibTeX RDF
1	E. Allen Emerson, Thomas Wahl	Dynamic Symmetry Reduction.	TACAS	2005	DBLP DOI BibTeX RDF
1	Radu Grosu, Scott A. Smolka	Monte Carlo Model Checking.	TACAS	2005	DBLP DOI BibTeX RDF
1	David Déharbe	Techniques for Temporal Logic Model Checking.	PSSE	2004	DBLP DOI BibTeX RDF
1	Stefan Gossens, Mario Dal Cin	Structural Analysis of Explicit Fault-Tolerant Programs.	HASE	2004	DBLP DOI BibTeX RDF
1	Mohamed Larbi Rebaiaia, Jihad Mohamad Jaam	VALID-2: A Practical Modeling, Simulation and Verification Software for Distributed Systems.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Peter Csaba Ölveczky, José Meseguer	Specification and Analysis of Real-Time Systems Using Real-Time Maude.	FASE	2004	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti	Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures.	IWDC	2004	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Rajeev Joshi	Model-Driven Software Verification.	SPIN	2004	DBLP DOI BibTeX RDF
1	Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi	Enhanced Vacuity Detection in Linear Temporal Logic.	CAV	2003	DBLP DOI BibTeX RDF
1	Alan J. Hu, Jeremy Casas, Jin Yang	Reasoning about GSTE Assertion Graphs.	CHARME	2003	DBLP DOI BibTeX RDF
1	Orna Kupferman, Moshe Y. Vardi	Vacuity detection in temporal model checking.	STTT	2003	DBLP DOI BibTeX RDF	Vacuous satisfaction, Model checking
1	Ph. Schnoebelen	The Complexity of Temporal Logic Model Checking.	Advances in Modal Logic	2002	DBLP BibTeX RDF
1	Gerard J. Holzmann	The logic of bugs.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	distributed systems software, logic model checking, SPIN
1	Jürgen Ruf, Thomas Kropf	Formal Data Analysis of Timed Finite State Systems.	ECRTS	2002	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann	Software Analysis and Model Checking.	CAV	2002	DBLP DOI BibTeX RDF
1	Wiebe van der Hoek, Michael Wooldridge	Model Checking Knowledge and Time.	SPIN	2002	DBLP DOI BibTeX RDF
1	David A. Basin, Stefan Friedrich, Marek Gawkowski	Verified Bytecode Model Checkers.	TPHOLs	2002	DBLP DOI BibTeX RDF
1	Hana Chockler, Orna Kupferman, Moshe Y. Vardi	Coverage Metrics for Temporal Logic Model Checking.	TACAS	2001	DBLP DOI BibTeX RDF
1	Holger Hermanns, Joost-Pieter Katoen	Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains.	CONCUR	2001	DBLP DOI BibTeX RDF
1	Agostino Dovier, Elisa Quintarelli	Model-Checking Based Data Retrieval.	DBPL	2001	DBLP DOI BibTeX RDF	Semistructured DBs, Model-Checking, Temporal Logic
1	Ralf Pinger, Hans-Dieter Ehrich	Compositional Checking of Communication among Observers.	FASE	2001	DBLP DOI BibTeX RDF	distributed logic, modelling and design, object system, model checking, verification, temporal logic, compositionality
1	Doron Peled, Amir Pnueli, Lenore D. Zuck	From Falsification to Verification.	FSTTCS	2001	DBLP DOI BibTeX RDF
1	Jürgen Ruf, Thomas Kropf	Analyzing Real-Time Systems.	DATE	2000	DBLP DOI BibTeX RDF
1	Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo	A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors.	TACAS	2000	DBLP DOI BibTeX RDF	fault tolerant behavior, model checking, formal verifications, safety critical systems, linear temporal logic
1	Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek	A Partial Order Approach to Branching Time Logic Model Checking.	Inf. Comput.	1999	DBLP DOI BibTeX RDF
1	Orna Kupferman, Moshe Y. Vardi	Vacuity Detection in Temporal Model Checking.	CHARME	1999	DBLP DOI BibTeX RDF
1	Khalil Ajami, Serge Haddad, Jean-Michel Ilié	Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond.	TACAS	1998	DBLP DOI BibTeX RDF	Büchi automata, Model Checking, Verification, Temporal Logic, Symmetries, LTL
1	Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann	Implementing Statecharts in PROMELA/SPIN.	WIFT	1998	DBLP DOI BibTeX RDF
1	Karen Laster, Orna Grumberg	Modular Model Checking of Software.	TACAS	1998	DBLP DOI BibTeX RDF
1	Edmund M. Clarke	Temporal Logic Model Checking (Abstract).	ILPS	1997	DBLP BibTeX RDF
1	E. Allen Emerson, A. Prasad Sistla	Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	model-checking, temporal logic, abstraction, symmetry, automata, state explosion
1	Thomas Kropf, Jürgen Ruf	Using MTBDDs for discrete timed symbolic model checking.	ED&TC	1997	DBLP DOI BibTeX RDF
1	Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea	The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems.	CAV	1997	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Somesh Jha, Reinhard Enders, Thomas Filkorn	Exploiting Symmetry in Temporal Logic Model Checking.	Formal Methods in System Design	1996	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi	A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek	A Partial Order Approach to Branching Time Logic Model Checking.	ISTCS	1995	DBLP BibTeX RDF
1	E. Allen Emerson, A. Prasad Sistla	Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach.	CAV	1995	DBLP DOI BibTeX RDF
1	Orna Kupferman	Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions.	CAV	1995	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Orna Grumberg, David E. Long	Model Checking and Abstraction.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	model checking, temporal logic, abstract interpretation, binary decision diagrams (BDDs)
1	Jerry R. Burch, Edmund M. Clarke, David E. Long, Kenneth L. McMillan, David L. Dill	Symbolic model checking for sequential circuit verification.	IEEE Trans. on CAD of Integrated Circuits and Systems	1994	DBLP DOI BibTeX RDF
1	Edmund M. Clarke	Automatic Verification of Finite-state Concurrent Systems.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Orna Grumberg, David E. Long	Verification Tools for Finite-State Concurrent Systems.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	model checking, temporal logic, binary decision diagrams, automatic verification
1	Edmund M. Clarke, Orna Grumberg, David E. Long	Model Checking and Abstraction.	POPL	1992	DBLP DOI BibTeX RDF
1	Roope Kaivola	Compositional Model Checking for Linear-Time Temporal Logic.	CAV	1992	DBLP DOI BibTeX RDF
1	Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton	Automatic Reduction in CTL Compositional Model Checking.	CAV	1992	DBLP DOI BibTeX RDF
1	Roope Kaivola, Antti Valmari	The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic.	CONCUR	1992	DBLP DOI BibTeX RDF
1	Edmund M. Clarke	Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem.	CAV	1990	DBLP DOI BibTeX RDF
1	Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill	Sequential Circuit Verification Using Symbolic Model Checking.	DAC	1990	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Orna Grumberg	Avoiding The State Explosion Problem in Temporal Logic Model Checking.	PODC	1987	DBLP DOI BibTeX RDF