We are developing Kopitiam, a tool to interactively prove full functional correctness of Java programs using separation logic by interacting 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 programs in Eclipse. © 2011 Springer-Verlag.
CITATION STYLE
Mehnert, H. (2011). Kopitiam: Modular incremental interactive full functional static verification of Java code. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6617 LNCS, pp. 518–524). https://doi.org/10.1007/978-3-642-20398-5_42
Mendeley helps you to discover research relevant for your work.