"JavaSMT 3: Interacting with SMT Solvers in Java"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Interacting with scriptures in Africa /	Loba-Mkole, Jean-Claude.; Wendland, Ernst R.	2005.	Acton Publishers,
Interacting with Information	Ann Blandford; Simon Attfield		Springer International Publishing
Interacting with Information	Ann Blandford	2010	Morgan & Claypool
Interacting with essays	Charles E. May	1996	D.C. Heath
Introduction to Java Programming with JBuilder 3	Y. Daniel Liang	February 11, 2000	Prentice Hall
Beginning Java EE 6 with GlassFish 3	Antonio Goncalves	2nd ed.	Apress
Interacting with Geospatial Technologies	Mordechai (Muki) Haklay	2010	John Wiley & Sons
Interacting with virtual environments /	MacDonald, L. W.; Vince, John	[1994], ©1994.	J. Wiley,
Smt. Sudha Raghunathan: vocal.	Sudha Raghunathan.; Sivaraman, Krishna.; Shyam Sunder,; Santhanam, Maharajapuram.	[℗1988?]	Meltrack,
Enterprise development with VisualAge for Java: version 3	Dale R. Nilsson; Peter M. Jakab; Bill Sarantokos; Russell A. Stinehour	2000	John Wiley
Economics with Heterogeneous Interacting Agents	Alan Kirman; Jean-Benoit Zimmermann	2001	Springer Berlin Heidelberg
Interacting with history: teaching with primary sources	Katharine B. Lehman	2014	ALA Editions, An imprint of the American Library Association
SMT Soldering Handbook (Second Edition)	Rudolf Strauss; Dr.Ing.; FIM	1998	Newnes
Smt. Vasundhara Komakali: classical vocal.	Komakālī, Vasundharā.	[1986], ℗1986.	Alurkar Audio Video Products,
Smt. Vasundhara Komakali, classical vocal.	Komakālī, Vasundharā,; Achrekar, Suresh,; Patwardhan, Govindrao,	[1986], ℗1986.	Alurkar Audio Video Products,
Самоучитель Java (3-е изд. )	Хабибуллин И.Ш.	2008	БХВ-Петербург
Professional Java Servlets 2. 3	Andrew Harbourne-Thomas; Sam Dalton; Simon Brown; Bjarki Holm; Tony Loton; Meeraj Kunnumpurath; Subrahmanyam Allamaraju; John Bell; Sing Li	January 2002	Peer Information
Interacting Electrons in Nanostructures	Rolf Haug; Herbert Schoeller	2001	Springer Berlin Heidelberg
Interacting systems in development	James D. Ebert, Ian M. Sussex	1970	Holt, Rinehart, and Winston
Interacting systems in development	James D. Ebert	1965	Holt, Rinehart and Winston
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
JavaSMT 3: Interacting with SMT Solvers in Java	Daniel Baier; Dirk Beyer; Karlheinz Friedberger	Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II	Alexandra Silva; K. Rustan M. Leino	1st ed. 2021	Springer International Publishing
SMT solvers		Reverse Engineering for Beginners(Understanding Assembly Language)	Dennis Yurichev	2020
Interacting with Solvers	Michael L. Bynum; Gabriel A. Hackebeil; William E. Hart; Carl D. Laird; Bethany L. Nicholson; John D. Siirola et al.	Pyomo — Optimization Modeling in Python	Michael L. Bynum; Gabriel A. Hackebeil; William E. Hart; Carl D. Laird; Bethany L. Nicholson; John D. Siirola; Jean-Paul Watson; David L. Woodruff	3rd ed. 2021	Springer International Publishing
Extending Sledgehammer with SMT Solvers	Jasmin Christian Blanchette; Sascha Böhme; Lawrence C. Paulson	Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings	Nikolaj Bjørner; Viorica Sofronie-Stokkermans	2011	Springer Berlin Heidelberg
Interacting with Java		Clojure for Java Developers	Eduardo Diaz	2016	Packt Publishing
JavaSMT: A Unified Interface for SMT Solvers in Java	Egor George Karpenkov; Karlheinz Friedberger; Dirk Beyer	Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers	Sandrine Blazy; Marsha Chechik	1st ed. 2016	Springer International Publishing
Induction for SMT Solvers	Andrew Reynolds; Viktor Kuncak	Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings	Deepak D'Souza; Akash Lal; Kim Guldstrand Larsen	2015	Springer Berlin Heidelberg
Learning about SMT solvers		Ghidra Software Reverse Engineering for Beginners: Analyze, identify, and avoid malicious code and potential threats in your networks and systems	A. P. David	2021	Packt Publishing Ltd
Learning about SMT solvers		Ghidra Software Reverse Engineering for Beginners	A. P. David	2021	Packt Publishing
SMT Solvers for Rodin	David Déharbe; Pascal Fontaine; Yoann Guyot; Laurent Voisin	Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings	John Derrick; John Fitzgerald; Stefania Gnesi; Sarfraz Khurshid; Michael Leuschel; Steve Reeves; Elvinia Riccobene	2012	Springer Berlin Heidelberg
Interacting with Java Script		CSS Cookbook	Cederholm, Dan; Schmitt, Christopher	2010	O'Reilly Media
SMT Solvers: Foundations and Applications		Dependable software systems engineering	Esparza, Javier(Editor); Grumberg, Orna(Editor); Sickert, Salomon(Editor)	2016	Ios Pr Inc; IOS Press
Chapter 12: Interacting with Java		Clojure for the Brave and True	Daniel Higginbotham	2015	No Starch Press
Teams of Interacting Solvers	Roberto Battiti; Franco Mascia; Mauro Brunato	Reactive Search and Intelligent Optimization	Roberto Battiti; Mauro Brunato; Franco Mascia	2009	Springer US
Combining Relational Learning with SMT Solvers Using CEGAR	Arun Chaganty; Akash Lal; Aditya V. Nori; Sriram K. Rajamani	Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings	Natasha Sharygina; Helmut Veith	2013	Springer Berlin Heidelberg
Towards Synthesis of Distributed Algorithms with SMT Solvers	Carole Delporte-Gallet; Hugues Fauconnier; Yan Jurski; François Laroussinie; Arnaud Sangnier	Networked Systems: 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers	Mohamed Faouzi Atig; Alexander A. Schwarzmann	1st ed. 2019	Springer International Publishing
VS3: SMT Solvers for Program Verification	Saurabh Srivastava; Sumit Gulwani; Jeffrey S. Foster	Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings	Ahmed Bouajjani; Oded Maler	2009	Springer Berlin Heidelberg
Efficient E-Matching for SMT Solvers	Leonardo de Moura; Nikolaj Bjørner	Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings	Frank Pfenning	2007	Springer Berlin Heidelberg
The Proof Complexity of SMT Solvers	Robert Robere; Antonina Kolokolova; Vijay Ganesh	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
Automatic Verification of TLA + Proof Obligations with SMT Solvers	Stephan Merz; Hernán Vanzetto	Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings	Nikolaj Bjørner; Andrei Voronkov	2012	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"JavaSMT 3: Interacting with SMT Solvers in Java" - similar Books and Chapters