Automated Theorem Proving in Software Engineering

other

Author(s): Johann M. Schumann

Publication date (Print): 2001

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-642-08759-2

ISBN (Electronic): 978-3-662-22646-9

Publication date (Print): 2001

DOI: 10.1007/978-3-662-22646-9

SO-VID: 93802347-f981-4530-a6d9-c0ab2ab5f23f

License:

http://www.springer.com/tdm

History

Data availability:

Comments

Comment on this book

Cited by 13

Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
Authors: Jasmin Christian Blanchette, Tobias Nipkow
A Classification and Survey of Analysis Strategies for Software Product Lines
Authors: Christian Kastner, Gunter Saake, Ina Schaefer …
Using Automated Theorem Provers to Certify Auto-generated Aerospace Software
Authors: Ewen Denney, Bernd Fischer, Johann Schumann

See all cited by