"Automatic Verification of C and Java Programs: SV-COMP 2019"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Interval Analysis: and Automatic Result Verification	Günter Mayer	2017	De Gruyter
Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Frank S. de Boer; Ernst-Rüdiger Olderog	3rd ed. 2009	Springer London
Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Ernst-Rüdiger Olderog	2nd ed. 1997	Springer New York
Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Ernst-Rüdiger Olderog	1991	Springer New York
Automatic correction and improvement of programs	H. Wertz	1987	Ellis Horwood;Halsted Press
Verification of Business Rules Programs	Bruno Berstel-Da Silva	2014	Springer Berlin Heidelberg
Java and the Java Virtual Machine: Definition, Verification, Validation	Robert F. Stärk; Joachim Schmid; Egon Börger	2001	Springer Berlin Heidelberg
Automatic Verification of Sequential Infinite-State Processes	Olaf Burkart	1997	Springer Berlin Heidelberg
Scientific Computation with Automatic Result Verification	Ulrich Kulisch; Hans J. Stetter	1988	Springer Vienna
Scientific Computing with Automatic Result Verification	E. Adams and U. Kulisch (Eds.)	1993	Elsevier, Academic Press
Real-Time Systems: Formal Specification and Automatic Verification	Ernst-Rüdiger Olderog; Henning Dierks	2008-09	Cambridge University Press
Automatic Performance Prediction of Parallel Programs	Thomas Fahringer	1996	Springer US
Modular Specification and Verification of Object-Oriented Programs	Peter Müller	2002	Springer Berlin Heidelberg
Sv Comp Sk-Inferences LVL F (Steck-Vaughn Comprehension Skills)	Beech	January 1992	Steck Vaughn
Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs	Richard H. Carver	2005	John Wiley & Sons
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits	David L. Dill	2003	MIT Press
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits	David L. Dill	1989	MIT Press,
A Survey of Verification Techniques for Parallel Programs	Howard Barringer	1985	Springer Berlin Heidelberg
Z͡Hytie Sv. Aleksandrŷ,Sv. Teklŷ,Sv. Varvarŷ y Sv. Elenŷ	Vasyliĭ Hadz͡heha	1905	yzd. Akt͡siĭnaho obshchestva "UNIO"
Genetic programming II: automatic discovery of reusable programs /	Koza, John R.	[1994], ©1994.	MIT 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
Automatic Verification of C and Java Programs: SV-COMP 2019	Dirk Beyer	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 Pathfinder at SV-COMP 2019 (Competition Contribution)	Cyrille Artho; Willem Visser	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
Advances in Automatic Software Verification: SV-COMP 2020	Dirk Beyer	Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II	Armin Biere; David Parker	1st ed. 2020	Springer International Publishing
10412 Verification of Java Programs		Embedded Systems Handbook	Richard Zurawski	2005	CRC Press
Progress on Software Verification: SV-COMP 2022	Dirk Beyer	Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II	Dana Fisman; Grigore Rosu	1st ed. 2022	Springer International Publishing
Software Verification: 10th Comparative Evaluation (SV-COMP 2021)	Dirk Beyer	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 II	Jan Friso Groote; Kim Guldstrand Larsen	1st ed. 2021	Springer International Publishing
Java Ranger at SV-COMP 2020 (Competition Contribution)	Vaibhav Sharma; Soha Hussein; Michael W. Whalen; Stephen McCamant; Willem Visser	Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II	Armin Biere; David Parker	1st ed. 2020	Springer International Publishing
Verification of Java Programs with Generics	Kurt Stenzel; Holger Grandy; Wolfgang Reif	Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings	José Meseguer; Grigore Rosu	2008	Springer Berlin Heidelberg
Automatic Verification of Integer Array Programs	Marius Bozga; Peter Habermehl; Radu Iosif; Filip Konečný; Tomáš Vojnar	Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings	Ahmed Bouajjani; Oded Maler	2009	Springer Berlin Heidelberg
Towards Automatic Specialization of Java Programs	Ulrik Pagh Schultz; Julia L. Lawall; Charles Consel; Gilles Muller	ECOOP ' 99 - Object-Oriented Programming: 13th European Conference Lisbon, Portugal, June 14-18, 1999 Proceedings	Rachid Guerraoui	1999	Springer Berlin Heidelberg
Automatic Error Correction of Java Programs	Christian Kern; Javier Esparza	Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings	Stefan Kowalewski; Marco Roveri	2010	Springer Berlin Heidelberg
Runtime Verification of C Programs	Klaus Havelund	Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6. 1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings	Kenji Suzuki; Teruo Higashino; Andreas Ulrich; Toru Hasegawa	2008	Springer Berlin Heidelberg
Specification and Verification of Encapsulation in Java Programs	Andreas Roth	Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6. 1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings	Martin Steffen; Gianluigi Zavattaro	2005	Springer Berlin Heidelberg
API Conformance Verification for Java Programs	Xin Li; H. James Hoover; Piotr Rudnicki	Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings	Jin Song Dong; Huibiao Zhu	2010	Springer Berlin Heidelberg
Towards Automatic Deductive Verification of C Programs over Linear Arrays	Dmitry Kondratyev; Ilya Maryasov; Valery Nepomniaschy	Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers	Nikolaj Bjørner; Irina Virbitskaite; Andrei Voronkov	1st ed. 2019	Springer International Publishing
Specification-based automatic verification of Prolog programs	Agostino Cortesi; Baudouin Le Charlier; Sabina Rossi	Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR' 96, Stockholm, Sweden, August 28-30, 1996, Proceedings	John Gallagher	1997	Springer Berlin Heidelberg
Certifiable Specification and Verification of C Programs	Christoph Lüth; Dennis Walter	FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings	Ana Cavalcanti; Dennis R. Dams	2009	Springer Berlin Heidelberg
CheckThat! at CLEF 2019: Automatic Identification and Verification of Claims	Tamer Elsayed; Preslav Nakov; Alberto Barrón-Cedeño; Maram Hasanain; Reem Suwaileh; Giovanni Da San Martino et al.	Advances in Information Retrieval: 41st European Conference on IR Research, ECIR 2019, Cologne, Germany, April 14–18, 2019, Proceedings, Part II	Leif Azzopardi; Benno Stein; Norbert Fuhr; Philipp Mayr; Claudia Hauff; Djoerd Hiemstra	1st ed. 2019	Springer International Publishing
Constraint-Based Synchronization and Verification of Distributed Java Programs	Rafael Ramirez; Juanjo Martinez	Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings	Bart Demoen; Vladimir Lifschitz	2004	Springer Berlin Heidelberg
Symbolic Pathfinder for SV-COMP	Yannic Noller; Corina S. Păsăreanu; Aymeric Fromherz; Xuan-Bach D. Le; Willem Visser	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
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Automatic Verification of C and Java Programs: SV-COMP 2019" - similar Books and Chapters