@inproceedings{9c1fa04271db4399a09b3867987104a3,
title = "Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code",
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.",
author = "Hannes Mehnert",
note = "@incollection {springerlink:10.1007/978-3-642-20398-5_42, author = {Mehnert, Hannes}, affiliation = {IT University of Copenhagen, 2300 K{\o}benhavn S, Denmark}, title = {Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code}, booktitle = {NASA Formal Methods}, series = {Lecture Notes in Computer Science}, editor = {Bobaru, Mihaela and Havelund, Klaus and Holzmann, Gerard and Joshi, Rajeev}, publisher = {Springer Berlin / Heidelberg}, isbn = {978-3-642-20397-8}, keyword = {Computer Science}, pages = {518-524}, volume = {6617}, url = {http://dx.doi.org/10.1007/978-3-642-20398-5_42}, note = {10.1007/978-3-642-20398-5_42}, year = {2011} ",
year = "2011",
month = apr,
day = "6",
doi = "10.1007/978-3-642-20398-5_42",
language = "English",
isbn = "978-3-642-20397-8",
volume = "6617",
pages = "518--524",
editor = "Mihaela Bobaru and Klaus Havelund and Holzmann, {Gerard J.} and Rajeev Joshi",
booktitle = "NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings",
publisher = "Association for Computing Machinery",
address = "United States",
}