Record: found
Abstract: not found
Book Chapter: not found

Tools and Algorithms for the Construction and Analysis of Systems 

Proving Nontermination via Safety

other

Author(s): Hong-Yi Chen , Byron Cook , Carsten Fuhs , Kaustubh Nimkar , Peter O’Hearn

Publication date (Print): 2014

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

Most cited references 26

Record: found
Abstract: not found
Book Chapter: not found

Lazy Abstraction with Interpolants

Kenneth McMillan (2006)

0 comments Cited 79 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework

Jürgen Giesl, Peter Schneider-Kamp, René Thiemann (2006)

0 comments Cited 44 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Proving and Disproving Termination of Higher-Order Functions

Jürgen Giesl, René Thiemann, Peter Schneider-Kamp (2005)

0 comments Cited 31 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2014

Pages: 156-171

DOI: 10.1007/978-3-642-54862-8_11

SO-VID: d6565835-4582-4c25-8fb7-f494727070b1

History

Data availability:

Proving Nontermination via Safety

Read this book at

Related collections

Security and Safety (S&S)

Most cited references 26

Lazy Abstraction with Interpolants

AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework

Proving and Disproving Termination of Higher-Order Functions

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,045

Cited by 11