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

Hannes Mehnert

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Abstrakt

    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.
    OriginalsprogEngelsk
    TitelNASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
    RedaktørerMihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi
    Antal sider7
    Vol/bind6617
    ForlagAssociation for Computing Machinery
    Publikationsdato6 apr. 2011
    Sider518-524
    ISBN (Trykt)978-3-642-20397-8
    ISBN (Elektronisk)978-3-642-20397-8
    DOI
    StatusUdgivet - 6 apr. 2011

    Citationsformater