"Booster: An Acceleration-Based Verification Framework for Array Programs"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Logic Design for Array-Based Circuits	D. E. White	1992	Academic Press
Constraint-Based Verification	Jun Yuan; Carl Pixley; Adnan Aziz	2006	Springer US
Hardware Verification with System Verilog: An Object-Oriented Framework	Mike Mintz; Robert Ekendahl	2007	Springer US
Verification of Business Rules Programs	Bruno Berstel-Da Silva	2014	Springer Berlin Heidelberg
A Survey of Verification Techniques for Parallel Programs	Howard Barringer	1985	Springer Berlin Heidelberg
Agent-Based Hybrid Intelligent Systems: An Agent-Based Framework for Complex Problem Solving	Zili Zhang; Chengqi Zhang	2004	Springer Berlin Heidelberg
Becoming an Evidence-based Practitioner: A Framework for Teacher-researchers	Olwen McNamara; Olwen Mcnamara	2001	Routledge
Cloud Network Management: An IoT Based Framework	Sanjay Kumar Biswash; Sourav Kanti Addya	2020	Routledge
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
Decision verification as an element of Navy quality assurance programs	Wayne L. Chadick	1977
Verification of several parallel coordination programs based on descriptions of their reachability sets.	B. D. Lubachevsky	1981	Courant Institute of Mathematical Sciences, New York University
Coupled-Oscillator Based Active-Array Antennas	Ronald J. Pogorzelski; Apostolos Georgiadis	2012	Wiley Telecom
Evaluation: an integrated framework for understanding, guiding, and improving policies and programs /	Mark, Melvin M.; Henry, Gary T.; Julnes, George,	[2000], ©2000.	Jossey-Bass,
An integrated framework for assessing the value of community-based prevention	Institute of Medicine (U.S.). Committee on Valuing Community-Based, Non-Clinical Prevention Policies and Wellness Strategies	2012	National Academies Press
Framework for market-based hospital pricing decisions /	Heshmat, Shahram.	1993.	Haworth Press,
Agricultural biotechnologies: strong acceleration of research programs at Beltsville.	United States. Agricultural Research Service.	1984	U.S. Dept. of Agriculture, Agricultural Research Service
Probabilistic modeling framework for assessing water quality sampling programs	Vanessa Speight	2009	Water Research Foundation
SAT-Based Scalable Formal Verification Solutions	Malay Ganai; Aarti Gupta	2007	Springer US
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
Booster: An Acceleration-Based Verification Framework for Array Programs	Francesco Alberti; Silvio Ghilardi; Natasha Sharygina	Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings	Franck Cassez; Jean-Francois Raskin	2014	Springer International Publishing
A New Acceleration-Based Combination Framework for Array Properties	Francesco Alberti; Silvio Ghilardi; Natasha Sharygina	Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings	Carsten Lutz; Silvio Ranise	1st ed. 2015	Springer International Publishing
An Equivalence Checking Framework for Array-Intensive Programs	Kunal Banerjee; Chittaranjan Mandal; Dipankar Sarkar	Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings	Deepak D'Souza; K. Narayan Kumar	1st ed. 2017	Springer International Publishing
An Abstraction-Based Framework for Neural Network Verification	Yizhak Yisrael Elboher; Justin Gottschlich; Guy Katz	Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I	Shuvendu K. Lahiri; Chao Wang	1st ed. 2020	Springer International Publishing
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
Abstraction-Driven Verification of Array Programs		Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings	Buchberger B., Campbell J. A. (Ed)	2003	Springer
Abstraction-Driven Verification of Array Programs	David Déharbe; Abdessamad Imine; Silvio Ranise	Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings	Bruno Buchberger; John A. Campbell	2004	Springer Berlin Heidelberg
SAT-Based Verification Framework		SAT-Based Scalable Formal Verification Solutions	Malay Ganai; Aarti Gupta	2007	Springer US
An Automated Deductive Verification Framework for Circuit-building Quantum Programs	Christophe Chareton; Sébastien Bardin; François Bobot; Valentin Perrelle; Benoît Valiron	Programming Languages and Systems: 30th European Symposium on Programming, ESOP 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	Nobuko Yoshida	1st ed. 2021	Springer International Publishing
Trace Abstraction-Based Verification for Uninterpreted Programs	Weijiang Hong; Zhenbang Chen; Yide Du; Ji Wang	Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings	Marieke Huisman; Corina Păsăreanu; Naijun Zhan	1st ed. 2021	Springer International Publishing
RustHorn: CHC-Based Verification for Rust Programs	Yusuke Matsushita; Takeshi Tsukada; Naoki Kobayashi	Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings	Peter Müller	1st ed. 2020	Springer International Publishing
Verifying Array Programs by Transforming Verification Conditions	Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti	Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings	Kenneth McMillan; Xavier Rival	2014	Springer Berlin Heidelberg
A Verification Framework for Knowledge-Based Systems		Problem-Solving Methods: Understanding, Description, Development, and Reuse	Dieter Fensel	2000	Springer Berlin Heidelberg
Modular Verification of Object-Based Programs	Anindya Banerjee	Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers	Bernhard Beckert; Ferruccio Damiani; Dilian Gurov	2012	Springer Berlin Heidelberg
An Array-Based Implementation		Data Structures and Abstractions with Java (5th Edition) (What's New in Computer Science)	Frank M. Carrano, Timothy M. Henry	2018	Pearson
An Array-Based Implementation		Fundamentals of Python data structures	Lambert, Kenneth Alfred	2013;2014	Cengage Learning PTR
An Array-Based Implementation		Data Abstraction & Problem Solving with Java: Walls and Mirrors	Prichard, Janet; Carrano, Frank	2010;2011	Pearson; Addison-Wesley
An Array-Based Implementation		Data structures and abstractions with Java	Carrano, Frank M.; Henry, Timothy; Tahiliani, Mohit P	2014;2016	Pearson Education Limited
An Array-Based Implementation		Data structures and abstractions with Java	Carrano, Frank M; Savitch, Walter J	2006;2007	Pearson/Prentice Hall
An Array-Based Implementation		Algorithms - Parallel and Sequential	Umut A. Acar, Guy E. Blelloch	2019	www.parallel-algorithms-book.com
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Booster: An Acceleration-Based Verification Framework for Array Programs" - similar Books and Chapters