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 6

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

Integrating Model Checking and Theorem Proving for Relational Reasoning

Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov … (2004)

0 comments Cited 5 times – based on 0 reviews

Bookmark

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

An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures

Zvonimir Rakamarić, Jesse Bingham, Alan Hu (2007)

0 comments Cited 4 times – based on 0 reviews

Bookmark

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

A Proof Assistant for Alloy Specifications

Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi … (2012)

0 comments Cited 3 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2014

Pages: 173-187

DOI: 10.1007/978-3-319-06200-6_13

SO-VID: 543a49fe-f829-41aa-8bf6-62ed13e2db7e

History

Data availability:

JKelloy: A Proof Assistant for Relational Specifications of Java Programs

Read this book at

Related collections

Network Medicine

Most cited references 6

Integrating Model Checking and Theorem Proving for Relational Reasoning

An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures

A Proof Assistant for Alloy Specifications

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,665