"JBMC: Bounded Model Checking for Java Bytecode"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
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,
Symbolic Model Checking	Kenneth L. McMillan	1993	Springer US
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,
Abstraction Refinement for Large Scale Model Checking	Chao Wang; Gary D. Hachtel; Fabio Somenzi	2006	Springer US
A memory based model of bounded rationality	Sendhil Mullainathan	2000	Massachusetts Institute of Technology, Dept. of Economics
Model Checking Quantum Systems: Principles and Algorithms	Mingsheng Ying; Yuan Feng	2021-02	Cambridge University Press
Unfoldings: A Partial-Order Approach to Model Checking	Javier Esparza; Keijo Heljanko	2008	Springer Berlin Heidelberg
25 Years of Model Checking: History, Achievements, Perspectives	Orna Grumberg; Helmut Veith	2008	Springer Berlin Heidelberg
Systems and Software Verification: Model-Checking Techniques and Tools	B. Berard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen	2001	Springer Berlin Heidelberg
A bootstrap approach to model checking for linear models under length-biased data	Ojeda J.L., Cristobal J.A.	2008
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation	Kleuker S.	2009	Vieweg
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation	Stephan Kleuker (auth.)	2009	Vieweg+Teubner Verlag
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation	Stephan Kleuker (auth.)	2009	Vieweg+Teubner Verlag
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation	Stephan Kleuker	2009	Vieweg+Teubner Verlag
Spectral Computations for Bounded Operators	Mario Ahues; Alain Largillier; Balmohan Limaye	2001	Routledge
Spectral computations for bounded operators /	Ahués, Mario.; Largillier, Alain.; Limaye, Balmohan Vishnu.	[2001], ©2001.	Chapman & Hall/CRC,
Music for checking e-mails /	Mitterer, W.; Mitterer, W.
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
JBMC: Bounded Model Checking for Java Bytecode	Lucas Cordeiro; Daniel Kroening; Peter Schrammel	Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III	Dirk Beyer; Marieke Huisman; Fabrice Kordon; Bernhard Steffen	1st ed. 2019	Springer International Publishing
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode	Lucas Cordeiro; Pascal Kesseli; Daniel Kroening; Peter Schrammel; Marek Trtik	Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I	Hana Chockler; Georg Weissenbacher	1st ed. 2018	Springer International Publishing
Java Bytecode Verification by Model Checking	David Basin; Stefan Friedrich; Joachim Posegga; Harald Vogt	Computer Aided Verification: 11th International Conference, CAV' 99, Trento, Italy, July 6-10, 1999, Proceedings	Nicolas Halbwachs; Doron Peled	1999	Springer Berlin Heidelberg
Bounded Model Checking	Armin Biere; Alessandro Cimatti; Edmund M. Clarke; Ofer Strichman; Yunshan Zhu	Advances in Computers	Marvin Zelkowitz	2003	Elsevier
Bounded Model Checking for Hyperproperties	Tzu-Han Hsu; César Sánchez; Borzoo Bonakdarpour	Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I	Jan Friso Groote; Kim Guldstrand Larsen	1st ed. 2021	Springer International Publishing
Java Bytecode		Java: An Introduction to Problem Solving and Programming (8th Edition)	Walter Savitch	2017	Pearson
Java Bytecode		Java: an introduction to problem solving & programming	Mock, Kenrick; Savitch, Walter J	2014;2015	Pearson
Java Bytecode		J2EE: The Complete Reference	Jim Keogh	2002	Tata McGraw-Hill Education
Java Bytecode		Java: An Introduction to Problem Solving and Programming, Global Edition	Walter Savitch	2019	Pearson Education Limited
841 Bounded Model Checking		Handbook of Epistemic Logic	Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi (eds.)	2015	College Publications
Bounded Model Checking for Probabilistic Programs	Nils Jansen; Christian Dehnert; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Lukas Westhofen	Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings	Cyrille Artho; Axel Legay; Doron Peled	1st ed. 2016	Springer International Publishing
Unified Bounded Model Checking for MSVL	Bin Yu; Zhenhua Duan; Cong Tian	Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers	Shaoying Liu; Zhenhua Duan	2015	Springer International Publishing
Minimal Assignments for Bounded Model Checking	Kavita Ravi; Fabio Somenzi	Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings	Kurt Jensen; Andreas Podelski	2004	Springer Berlin Heidelberg
Bounded Model Checking for Region Automata	Fang Yu; Bow-Yaw Wang; Yao-Wen Huang	Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings	Yassine Lakhnech; Sergio Yovine	2004	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
Bounded Model Checking for Timed Systems	G. Audemard; A. Cimatti; A. Kornilowicz; R. Sebastiani	Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6. 1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings	Doron A. Peled; Moshe Y. Vardi	2002	Springer Berlin Heidelberg
Abstraction Refinement for Bounded Model Checking	Anubhav Gupta; Ofer Strichman	Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings	Kousha Etessami; Sriram K. Rajamani	2005	Springer Berlin Heidelberg
Bytecode Model Checking: An Experimental Analysis	David Basin; Stefan Friedrich; Marek Gawkowski; Joachim Posegga	Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings	Dragan Bosnacki; Stefan Leue	2002	Springer Berlin Heidelberg
852 Java Bytecode		Compilers: Principles and Practice	Parag H. Dave, Himanshu B. Dave	2012	Pearson Education
Heuristic Model Checking for Java Programs	Alex Groce; Willem Visser	Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings	Dragan Bosnacki; Stefan Leue	2002	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"JBMC: Bounded Model Checking for Java Bytecode" - similar Books and Chapters