"Encodings of Bounded LTL Model Checking in Effectively Propositional Logic"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Bounded Arithmetic, Propositional Logic and Complexity Theory	Jan Krajicek	1995-11	Cambridge University Press
Model checking /	Clarke, Edmund M.,		The MIT Press
Model checking /	Clarke, Edmund M.,; Grumberg, Orna.; Peled, Doron A.,	c1999.	MIT Press,
Model checking /	Clarke, Edmund M.,; Grumberg, Orna,; Peled, Doron A.,	©1999.	MIT Press,
The Propositional Logic of Boethius	Karl Dürr	1951	Elsevier
Lectures on Propositional Logic	Ryszard Wojcicki	1984	Ossolineum, The Publishing House of the Polish Academy of Sciences
Handbook of Model Checking	Edmund M. Clarke; Thomas A. Henzinger; Helmut Veith; Roderick Bloem	1st ed. 2018	Springer International Publishing
Principles of model checking /	Baier, Christel.; Katoen, Joost-Pieter.	[2008?]	The MIT Press,
Symbolic Model Checking	Kenneth L. McMillan	1993	Springer US
Propositional Logics: The Semantic Foundations of Logic	Richard L. Epstein	July 25, 2000	Wadsworth Publishing
Gentzen Calculi for Modal Propositional Logic	Francesca Poggiolesi	2011	Springer Netherlands
Classical propositional operators: an exercise in the foundations of logic	Krister Segerberg	1982	Clarendon
Propositional and Predicate Calculus A Model of Argument	Derek Goldrei MA, MSc (auth.)	2005	Springer-Verlag London
Propositional and Predicate Calculus: A Model of Argument	Derek Goldrei	2005	Springer
Propositional and Predicate Calculus: A Model of Argument	Derek Goldrei	2005	Springer London
A memory based model of bounded rationality	Sendhil Mullainathan	2000	Massachusetts Institute of Technology, Dept. of Economics
INTERMEDIATE LOGIC (TEACHER EDITION): mastering propositional arguments	CANON PRESS	2014	CANON PRESS
Fonts & Encodings	Yannis Haralambous	2007	O'Reilly Media
Fonts & encodings	Yannis Haralambous; P Scott Horne	2007	O'Reilly Media
Propositional attitudes: the role of content in logic, language, and mind /	Anderson, C. Anthony.; Owens, Joseph,	[1990], ©1990.	Center for the Study of Language and Information,
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic	Juan Antonio Navarro-Pérez; Andrei Voronkov	Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings	Frank Pfenning	2007	Springer Berlin Heidelberg
Encodings of Problems in Effectively Propositional Logic	Juan Antonio Navarro-Pérez; Andrei Voronkov	Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings	Joao Marques-Silva; Karem A. Sakallah	2007	Springer Berlin Heidelberg
Simple Bounded LTL Model Checking	Timo Latvala; Armin Biere; Keijo Heljanko; Tommi Junttila	Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings	Alan J. Hu; Andrew K. Martin	2004	Springer Berlin Heidelberg
Bounded Model Checking for Propositional Projection Temporal Logic	Zhenhua Duan; Cong Tian; Mengfei Yang; Jia He	Computing and Combinatorics: 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013, Proceedings	Ding-Zhu Du; Guochuan Zhang	2013	Springer Berlin Heidelberg
Bounded Model Checking for Past LTL	Marco Benedetti; Alessandro Cimatti	Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings	Hubert Garavel; John Hatcliff	2003	Springer Berlin Heidelberg
LTL Model Checking	Manuel Clavel; Francisco Durán; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer et al.	All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic	Manuel Clavel; Francisco Durán; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer; Carolyn Talcott	2007	Springer Berlin Heidelberg
Model Checking LTL	Javier Esparza; Dr. Keijo Heljanko	Unfoldings: A Partial-Order Approach to Model Checking	Javier Esparza; Keijo Heljanko	2008	Springer Berlin Heidelberg
Bounded LTL Model Checking with Stable Models	Keijo Heljanko; Ilkka Niemelä	Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings	Thomas Eiter; Wolfgang Faber; Miroslaw Trusczynksi	2001	Springer Berlin Heidelberg
Propositional Encodings	Daniel Kroening; Ofer Strichman	Decision Procedures: An Algorithmic Point of View	Daniel Kroening; Ofer Strichman	2008	Springer Berlin Heidelberg
Propositional Encodings	Daniel Kroening; Ofer Strichman	Decision Procedures: An Algorithmic Point of View	Daniel Kroening; Ofer Strichman	2nd ed. 2016	Springer Berlin Heidelberg
Bounded Model Checking	Armin Biere; Alessandro Cimatti; Edmund M. Clarke; Ofer Strichman; Yunshan Zhu	Advances in Computers	Marvin Zelkowitz	2003	Elsevier
Planning with Effectively Propositional Logic	Juan Antonio Navarro-Pérez; Andrei Voronkov	Programming Logics: Essays in Memory of Harald Ganzinger	Andrei Voronkov; Christoph Weidenbach	2013	Springer Berlin Heidelberg
Randomization Helps in LTL Model Checking	Luboš Brim; Ivana Černá; Martin Nečesal	Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings	Luca de Alfaro; Stephen Gilmore	2001	Springer Berlin Heidelberg
Distributed LTL model-checking in SPIN	Jiri Barnat; Lubos Brim; Jitka Stříbrná	Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings	Matthew Dwyer	2001	Springer Berlin Heidelberg
Bounded Model Checking with Description Logic Reasoning	Shoham Ben-David; Richard Trefler; Grant Weddell	Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings	Nicola Olivetti	2007	Springer Berlin Heidelberg
LTL-Model-Checking via Model Composition	Ingo Felscher	Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings	Alain Finkel; Jerome Leroux; Igor Potapov	2012	Springer Berlin Heidelberg
LTL Generalized Model Checking Revisited	Patrice Godefroid; Nir Piterman	Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings	Neil Jones; Markus Müller-Olm	2008	Springer Berlin Heidelberg
LTL Model Checking with Neco	Łukasz Fronc; Alexandre Duret-Lutz	Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings	Dang Van Hung; Mizuhito Ogawa	2013	Springer International Publishing
Semi-external LTL Model Checking	Stefan Edelkamp; Peter Sanders; Pavel Šimeček	Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings	Aarti Gupta; Sharad Malik	2008	Springer Berlin Heidelberg
Алгоритм model checking для LTL		MODEL СHECKING. Верификация параллельных и распределенных программных систем	Карпов Юрий Глебович	2010	БХВ-Петербург
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Encodings of Bounded LTL Model Checking in Effectively Propositional Logic" - similar Books and Chapters