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 3

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

Proving Pointer Programs in Hoare Logic

Richard Bornat (2000)

0 comments Cited 25 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML

C Marche, C. Paulin-Mohring, X. Urbain (2004)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Verification of non-functional programs using interpretations in type theory

JEAN-CHRISTOPHE FILLIÂTRE (2003)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2004

Pages: 15-29

DOI: 10.1007/978-3-540-30482-1_10

SO-VID: 54a0bb7b-0cca-4a17-bdac-81f28bbcb6d7

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 10

See all cited by

Multi-prover Verification of C Programs

Read this book at

Related collections

International Journal of Automation & Digital Transformation

Most cited references 3

Proving Pointer Programs in Hoare Logic

The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML

Verification of non-functional programs using interpretations in type theory

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,459

Cited by 10