Skip to search boxSkip to navigationSkip to main content

Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code

  • Hannes Mehnert
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Open access

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 518-524 (7 pages)

Publication milestones

  • Published - 06/04/2011

Publication status

Published - 06/04/2011

Volume

6617

Publisher

Association for Computing Machinery, United States

ISBN (Print)

978-3-642-20397-8

ISBN (Electronic)

978-3-642-20397-8

Publication IDs

  • Scopus: 79954988955

Host publication title

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Host publication editors

  • Mihaela Bobaru
  • Klaus Havelund
  • Gerard J. Holzmann
  • Rajeev Joshi

Abstract

WearedevelopingKopitiam,atooltointeractivelyprovefull functional correctness of Java programs using separation logic by inter- acting with the interactive theorem prover Coq. Kopitiam is an Eclipse plugin, enabling seamless integration into the workflow of a developer. Kopitiam enables a user to develop proofs side-by-side with Java pro- grams in Eclipse.

Publication metrics

PlumX, opens in new tab

Citations
5
Captures
4

Access to documents