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

Mining State-Based Models from Proof Corpora

other

Author(s): Thomas Gransden , Neil Walkinshaw , Rajeev Raman

Publication date (Print): 2014

Publisher: Springer International Publishing

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 23

Record: found
Abstract: not found
Article: not found

Language identification in the limit

E Gold (1967)

0 comments Cited 228 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book: not found

Isabelle/HOL

Tobias Nipkow, Markus Wenzel, Lawrence Paulson (2002)

0 comments Cited 199 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Formal verification of a realistic compiler

Xavier Leroy (2009)

0 comments Cited 117 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2014

Pages: 282-297

DOI: 10.1007/978-3-319-08434-3_21

SO-VID: a06bc0aa-f308-47c8-95c1-a8ab22e4ab93

History

Data availability:

Mining State-Based Models from Proof Corpora

Read this book at

Related collections

Value-based Healthcare

Most cited references 23

Language identification in the limit

Isabelle/HOL

Formal verification of a realistic compiler

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 5,950

Cited by 3