"Extending DIVINE with Symbolic Verification Using SMT"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Scalable Hardware Verification with Symbolic Simulation	Valeria Bertacco	2006	Springer US
Symbolic Algebraic Methods and Verification Methods	Götz Alefeld; Jiri Rohn; Siegfried Rump; Tetsuro Yamamoto	2001	Springer Vienna
Symbolic Simulation Methods for Industrial Formal Verification	Robert B. Jones	2002	Springer US
NOGAPS verification using spectral components	Peter A. Morse	1983	Naval Postgraduate School
Verification by Error Modeling: Using Testing Techniques in Hardware Verification	Katarzyna Radecka; Zeljko Zilic	2003	Springer US
Verification and Control of Hybrid Systems: A Symbolic Approach	Paulo Tabuada	2009	Springer US
Modeling and Verification Using UML Statecharts	Doron Drusinsky	2006	Newnes
Logic design and verification using SystemVerilog /	Thomas, D. E.		CreateSpace
Smt. Sudha Raghunathan: vocal.	Sudha Raghunathan.; Sivaraman, Krishna.; Shyam Sunder,; Santhanam, Maharajapuram.	[℗1988?]	Meltrack,
Mothering: using divine principles	Janice Gerber Nielson	2009	Cedar Fort, Inc.
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,
Design verification with e	Palnitkar, Samir	2003;2004	Prentice Hall PTR
Finite Elements Using Maple: A Symbolic Programming Approach	Artur Portela; A. Charafi	2002	Springer Berlin Heidelberg
Smt. Siddheswari Devi: light classical vocal.	Siddheswari Devi,	[1987], ℗1987.	His Master's Voice,
Differential Equations with Symbolic Computation	Dongming Wang; Zhiming Zheng	2005	Birkhäuser Basel
Symbolic Violence: Conversations with Bourdieu	Michael Burawoy	2019	Duke University Press
Symbolic Violence: Conversations with Bourdieu	Michael Burawoy	2019	Duke University Press Books
Extending Acrobat Forms With Javascript (Decrypted)			Adobe Press
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
Extending DIVINE with Symbolic Verification Using SMT	Henrich Lauko; Vladimír Štill; Petr Ročkai; Jiří Barnat	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
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
Symbolic Verification	Shi-Yu Huang; Kwang-Ting Cheng	Formal Equivalence Checking and Design Debugging	Shi-Yu Huang; Kwang-Ting (Tim) Cheng	1998	Springer US
Symbolic verification with periodic sets	Bernard Boigelot; Pierre Wolper	Computer Aided Verification: 6th International Conference, CAV ' 94, Stanford, California, USA, June 21-23, 1994. Proceedings	David L. Dill	1994	Springer Berlin Heidelberg
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT	Francisco Durán; Camilo Rocha; Gwen Salaün	Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings	Vlad Rusu	1st ed. 2018	Springer International Publishing
Algorithmic Verification of Systems Software Using SMT Solvers	Shaz Qadeer	Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings	Jens Palsberg; Zhendong Su	2009	Springer Berlin Heidelberg
Improved Symbolic Verification Using Partitioning Techniques	Subramanian Iyer; Debashis Sahoo; Christian Stangier; Amit Narayan; Jawahar Jain	Correct Hardware Design and Verification Methods: 12th IFIP WG 10. 5 Advanced Research Working Conference, CHARME 2003, L' Aquila, Italy, October 21-24, 2003, Proceedings	Daniel Geist; Enrico Tronci	2003	Springer Berlin Heidelberg
Symbolic verification with gap-order constraints	Laurent Fribourg; Julian Richardson	Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR' 96, Stockholm, Sweden, August 28-30, 1996, Proceedings	John Gallagher	1997	Springer Berlin Heidelberg
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
Workflow Nets Verification: SMT or CLP?	Hadrien Bride; Olga Kouchnarenko; Fabien Peureux; Guillaume Voiron	Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings	Maurice H. ter Beek; Stefania Gnesi; Alexander Knapp	1st ed. 2016	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
Brief Announcement: Verification of Stabilizing Programs with SMT Solvers	Jingshu Chen; Sandeep Kulkarni	Stabilization, Safety, and Security of Distributed Systems: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings	Andréa W. Richa; Christian Scheideler	2012	Springer Berlin Heidelberg
Specializations in Symbolic Verification	Vladimir Peschanenko; Anton Guba; Constantin Shushpanov	Information and Communication Technologies in Education, Research, and Industrial Applications: 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers	Vadim Ermolayev; Heinrich C. Mayr; Mykola Nikitchenko; Aleksander Spivakovsky; Grygoriy Zholtkevych	2013	Springer International Publishing
Efficient Verification of Security Protocols Time Properties Using SMT Solvers	Agnieszka M. Zbrzezny; Sabina Szymoniak; Mirosław Kurkowski	International Joint Conference: 12th International Conference on Computational Intelligence in Security for Information Systems (CISIS 2019) and 10th International Conference on EUropean Transnational Education (ICEUTE 2019): Seville, Spain, May 13th-15th, 2019 Proceedings	Francisco Martínez Álvarez; Alicia Troncoso Lora; José António Sáez Muñoz; Héctor Quintián; Emilio Corchado	1st ed. 2020	Springer International Publishing
Exploring Chemistry Using SMT	Rolf Fagerberg; Christoph Flamm; Daniel Merkle; Philipp Peters	Principles and Practice of Constraint Programming - CP 2012: 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings	Michela Milano	2012	Springer Berlin Heidelberg
Symbolic verification of communication protocols with infinite state spaces using QDDs	Bernard Boigelot; Patrice Godefroid	Computer Aided Verification: 8th International Conference, CAV ' 96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings	Rajeev Alur; Thomas Henzinger	1996	Springer Berlin Heidelberg
Using Dynamic Symbolic Execution to Improve Deductive Verification	Dries Vanoverberghe; Nikolaj Bjørner; Jonathan de Halleux; Wolfram Schulte; Nikolai Tillmann	Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings	Klaus Havelund; Rupak Majumdar; Jens Palsberg	2008	Springer Berlin Heidelberg
Extending SMT Solvers to Higher-Order Logic	Haniel Barbosa; Andrew Reynolds; Daniel El Ouraoui; Cesare Tinelli; Clark Barrett	Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings	Pascal Fontaine	1st ed. 2019	Springer International Publishing
Using Symbolic Links With Directories		Harley Hahn's Guide to Unix and Linux	Harley Hahn	2008	McGraw-Hill Education
USING SYMBOLIC LINKS WITH DIRECTORIES		Harley Hahn's Guide to Unix and Linux	Harley Hahn	2008	McGraw-Hill Higher Education
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Extending DIVINE with Symbolic Verification Using SMT" - similar Books and Chapters