"JayHorn: A Java Model Checker" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Principles of the Spin Model Checker	Mordechai Ben-Ari	2008	Springer London
The spin model checker: primer and reference manual /	Holzmann, Gerard J.	c2004.	Addison-Wesley,
A universal sytanx checker	John Francis Leahy	1969	Naval Postgraduate School
A checker-playing program	DeFord Eugene Cochran	1971	Naval Postgraduate School
The checker player	Henry Spayth	1895	The author
American checker player	Phelan, Thomas,	1875	Kelley & Phelan [etc.
The checker player	Henry Spayth	1895	The author
The checker primer	Barnet Phillips	1887	Excelsior Publishing House
A machine-checked, type-safe model of Java concurrency	Andreas Lochbihler	2012	KIT Scientific Publishing
A syntax-directed FORTRAN statement checker,.	Susan S. Hoffberg	1968	Courant Institute of Mathematical Sciences, New York University
The Weekly checker journal	James Patrick Reed	1891
The Granite state checker series. . .	L. M. Stearns	1889	The author
The game of checker pool		1882
R. D. Yates: checker player	William Timothy Call	1905	[The Winthrop Press]
Random House Webster's Medical Spell Checker	Barbara Ann Kipfer	June 1, 1998	Random House Reference
My blue-checker Corker and me	Paul Radley	1986	Ticknor & Fields
History of Kansas state checker association. . .	Kansas state checker association. [from old catalog]		Montgomery County chess and checker association
24 Games You Can Play on a Checker Board	Carol Williams	November 21, 2007	Gibbs Smith, Publisher
From Requirements to Java in a Snap: Model-Driven Requirements Engineering in Practice	Michał Śmiałek; Wiktor Nowakowski	2015	Springer International Publishing
Cite-Checker: a hands-on guide to learning citation form	Deborah E. Bouchoux	2008	Wolters Kluwer Law & Business Aspen Publishers
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
JayHorn: A Java Model Checker	Temesghen Kahsai; Philipp Rümmer; Martin Schäf	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
Java Typestate Checker	João Mota; Marco Giunti; António Ravara	Coordination Models and Languages: 23rd IFIP WG 6. 1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings	Ferruccio Damiani; Ornela Dardha	1st ed. 2021	Springer International Publishing
NuSMV Model Checker		Representing and Reasoning With Qualitative Preferences: Tools and Applications	Ganesh Ram Santhanam, Samik Basu, Vasant Honavar	2016	Morgan & Claypool
AlPiNA: A Symbolic Model Checker	Didier Buchs; Steve Hostettler; Alexis Marechal; Matteo Risoldi	Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings	Johan Lilius; Wojciech Penczek	2010	Springer Berlin Heidelberg
A Model Checker for AADL	Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri et al.	Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings	Tayssir Touili; Byron Cook; Paul Jackson	2010	Springer Berlin Heidelberg
A Markov Chain Model Checker	Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle	Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings	Susanne Graf; Michael Schwartzbach	2000	Springer Berlin Heidelberg
Building a Software Model Checker		Formal Logical Methods for System Security and Correctness	Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller	2008	IOS Press
Ymer: A Statistical Model Checker	Håkan L. S. Younes	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
Goanna—A Static Model Checker	Ansgar Fehnker; Ralf Huuck; Patrick Jayet; Michel Lussenburg; Felix Rauch	Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected	Lubos Brim; Boudewijn Haverkort; Martin Leucker; Jaco van de Pol	2007	Springer Berlin Heidelberg
opaal: A Lattice Model Checker	Andreas Engelbredt Dalsgaard; René Rydhof Hansen; Kenneth Yrke Jørgensen; Kim Gulstrand Larsen; Mads Chr. Olesen; Petur Olsen et al.	NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings	Mihaela Bobaru; Klaus Havelund; Gerard Holzmann; Rajeev Joshi	2011	Springer Berlin Heidelberg
The FORMAT Model Checker	Andreas Scholz; Thomas Filkorn; Jörg Lohse; Hans-Albert Schneider; Erik Tidén; Peter Warkentin	Practical Formal Methods for Hardware Design	Carlos Delgado Kloos; Werner Damm	1997	Springer Berlin Heidelberg
The SpinJa Model Checker	Marc de Jonge; Theo C. Ruys	Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings	Jaco van der Pol; Michael Weber	2010	Springer Berlin Heidelberg
The JKind Model Checker	Andrew Gacek; John Backes; Mike Whalen; Lucas Wagner; Elaheh Ghassabani	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 II	Hana Chockler; Georg Weissenbacher	1st ed. 2018	Springer International Publishing
ByMC: Byzantine Model Checker	Igor Konnov; Josef Widder	Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III	Tiziana Margaria; Bernhard Steffen	1st ed. 2018	Springer International Publishing
jMoped: A Java Bytecode Checker Based on Moped	Dejvuth Suwimonteerabuth; Stefan Schwoon; Javier Esparza	Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings	Nicolas Halbwachs; Lenore Zuck	2005	Springer Berlin Heidelberg
MCMT: A Model Checker Modulo Theories	Silvio Ghilardi; Silvio Ranise	Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings	Jürgen Giesl; Reiner Hähnle	2010	Springer Berlin Heidelberg
FlyFast: A Mean Field Model Checker	Diego Latella; Michele Loreti; Mieke Massink	Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II	Axel Legay; Tiziana Margaria	1st ed. 2017	Springer Berlin Heidelberg
ΧChek: A Multi-valued Model-Checker	Marsha Chechik; Arie Gurfinkel; Benet Devereux	Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings	Ed Brinksma; Kim G. Larsen	2002	Springer Berlin Heidelberg
ProB: A Model Checker for B	Michael Leuschel; Michael Butler	FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings	Keijiro Araki; Stefania Gnesi; Dion Mandrioli	2003	Springer Berlin Heidelberg
Implementing a model checker for LEGO	Shenwei Yu; Zhaohui Luo	FME ' 97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings	John Fitzgerald; Cliff B. Jones; Peter Lucas	1997	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries