"Interpolation and Model Checking for Nonlinear Arithmetic"

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
Nonlinear interpolation and boundary value problems	Paul W. Eloe	2016	World Scientific
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
Model Checking Quantum Systems: Principles and Algorithms	Mingsheng Ying; Yuan Feng	2021-02	Cambridge University Press
Model Discrimination for Nonlinear Regression Models	Dale S. Borowiak	1989	Routledge
Model discrimination for nonlinear regression models	Dale S. Borowiak	1989	M. Dekker
Stochastic decision model for arithmetic programming	Mohammad Zia-Ul Haque	1976	Naval Postgraduate School
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
Nonlinear Model Predictive Control	Frank Allgöwer; Alex Zheng	2000	Birkhäuser Basel
The Model Elementary Arithmetic. . .	Edward Gideon	1904	Eldredge & Brother
The New Model Arithmetic	Henry Holmes Belfield	1896	Scott, Foresman & Co.
The model arithmetic for commercial colleges and department schools	Ellis Publishing Company	1895	Ellis Pub. Co.
The Model Mental Arithmetic for Public and Private Schools	C. F. R. Bellows	1898	The Ellis Publishing Co.
Interpolation Functors and Interpolation Spaces	Yu.A. Brudnyı; N. Ya. Krugljak	1991	Elsevier
A nonlinear programing model for optimized sortie allocation	Klaus Paul Wirths	1989	Naval Postgraduate School;Available from the National Technical Information Service
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
Interpolation and Model Checking for Nonlinear Arithmetic	Dejan Jovanović; Bruno Dutertre	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
Interpolation and Model Checking	Kenneth L. McMillan	Handbook of Model Checking	Edmund M. Clarke; Thomas A. Henzinger; Helmut Veith; Roderick Bloem	1st ed. 2018	Springer International Publishing
Flexible Interpolation for Efficient Model Checking	Antti E. J. Hyvärinen; Leonardo Alt; Natasha Sharygina	Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers	Jan Kofroň; Tomáš Vojnar	1st ed. 2016	Springer International Publishing
Interpolation and SAT-Based Model Checking	K. L. McMillan	Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings	Warren A. Hunt; Jr.; Fabio Somenzi	2003	Springer Berlin Heidelberg
Interpolation-Based Probabilistic Model Checking		Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceedings	Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)	2013	Springer Nature.
Accelerating Interpolation-Based Model-Checking	Nicolas Caniart; Emmanuel Fleury; Jérôme Leroux; Marc Zeitoun	Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings	C.R. Ramakrishnan; Jakob Rehof	2008	Springer Berlin Heidelberg
Approximation Refinement for Interpolation-Based Model Checking	Vijay D’Silva; Mitra Purandare; Daniel Kroening	Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings	Francesco Logozzo; Doron A. Peled; Leonore D. Zuck	2008	Springer Berlin Heidelberg
Selfless Interpolation for Infinite-State Model Checking	Tanja Schindler; Dejan Jovanović	Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings	Isil Dillig; Jens Palsberg	1st ed. 2018	Springer International Publishing
Interpolation Properties and SAT-Based Model Checking	Arie Gurfinkel; Simone Fulvio Rollini; Natasha Sharygina	Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings	Dang Van Hung; Mizuhito Ogawa	2013	Springer International Publishing
Unbounded Model-Checking with Interpolation for Regular Language Constraints	Graeme Gange; Jorge A. Navas; Peter J. Stuckey; Harald Søndergaard; Peter Schachte	Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings	Nir Piterman; Scott Smolka	2013	Springer Berlin Heidelberg
Applications of Craig Interpolation to Model Checking	Kenneth McMillan	Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings	Jerzy Marcinkowski	2004	Springer Berlin Heidelberg
Applications of Craig Interpolation to Model Checking	Kenneth McMillan	Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings	Gianfranco Ciardo; Philippe Darondeau	2005	Springer Berlin Heidelberg
Bilinear and Nonlinear Interpolation		An Introduction to Sobolev Spaces and Interpolation Spaces	Luc Tartar	2007	Springer Berlin Heidelberg
On Discrete Modeling and Model Checking for Nonlinear Analog Systems	Walter Hartong; Lars Hedrich; Erich Barke	Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings	Ed Brinksma; Kim G. Larsen	2002	Springer Berlin Heidelberg
Nonlinear Arithmetic Operations		Circuits and Systems Based on Delta Modulation: Linear, Nonlinear and Mixed Mode Processing	Djuro G. Zrilic	2005	Springer Berlin Heidelberg
Interpolation-Based Function Summaries in Bounded Model Checking	Ondrej Sery; Grigory Fedyukovich; Natasha Sharygina	Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers	Kerstin Eder; João Lourenҫo; Onn Shehory	2012	Springer Berlin Heidelberg
CTL \(^*\) Model Checking for Data-Aware Dynamic Systems with Arithmetic	Paolo Felli; Marco Montali; Sarah Winkler	Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings	Jasmin Blanchette; Laura Kovács; Dirk Pattinson	1st ed. 2022	Springer International Publishing
Model Checking for Collaborativeness	Reggie Davidrajuh	Petri Nets for Modeling of Large Discrete Systems	Reggie Davidrajuh	1st ed. 2021	Springer Nature Singapore
Advancing Software Model Checking Beyond Linear Arithmetic Theories	Ahmed Mahdi; Karsten Scheibler; Felix Neubauer; Martin Fränzle; Bernd Becker	Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings	Roderick Bloem; Eli Arbel	1st ed. 2016	Springer International Publishing
Correct Probabilistic Model Checking with Floating-Point Arithmetic	Arnd Hartmanns	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
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Interpolation and Model Checking for Nonlinear Arithmetic" - similar Books and Chapters