@InProceedings{10.1007/978-3-319-98938-9_3,
author="Boerman, Jan and Huisman, Marieke and Joosten, Sebastiaan",
editor="Furia, Carlo A.
and Winter, Kirsten",
title="Reasoning About JML: Differences Between KeY and OpenJML",
booktitle="Integrated Formal Methods",
year="2018",
publisher="Springer International Publishing",
address="Cham",
pages="30--46",
abstract="To increase the impact and capabilities of formal verification, it should be possible to apply different verification techniques on the same specification. However, this can only be achieved if verification tools agree on the syntax and underlying semantics of the specification language and unfortunately, in practice, this is often not the case.",
isbn="978-3-319-98938-9",
url={https://link.springer.com/chapter/10.1007/978-3-319-98938-9_3}
}

{"_id":"2wR6yC2ePdGQDQwvg","bibbaseid":"boerman-huisman-joosten-reasoningaboutjmldifferencesbetweenkeyandopenjml-2018","authorIDs":["5d14be645b939dee01000058"],"author_short":["Boerman, J.","Huisman, M.","Joosten, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Boerman"],"firstnames":["Jan"],"suffixes":[]},{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]},{"propositions":[],"lastnames":["Joosten"],"firstnames":["Sebastiaan"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Furia"],"firstnames":["Carlo","A."],"suffixes":[]},{"propositions":[],"lastnames":["Winter"],"firstnames":["Kirsten"],"suffixes":[]}],"title":"Reasoning About JML: Differences Between KeY and OpenJML","booktitle":"Integrated Formal Methods","year":"2018","publisher":"Springer International Publishing","address":"Cham","pages":"30–46","abstract":"To increase the impact and capabilities of formal verification, it should be possible to apply different verification techniques on the same specification. However, this can only be achieved if verification tools agree on the syntax and underlying semantics of the specification language and unfortunately, in practice, this is often not the case.","isbn":"978-3-319-98938-9","url":"https://link.springer.com/chapter/10.1007/978-3-319-98938-9_3","bibtex":"@InProceedings{10.1007/978-3-319-98938-9_3,\nauthor=\"Boerman, Jan and Huisman, Marieke and Joosten, Sebastiaan\",\neditor=\"Furia, Carlo A.\nand Winter, Kirsten\",\ntitle=\"Reasoning About JML: Differences Between KeY and OpenJML\",\nbooktitle=\"Integrated Formal Methods\",\nyear=\"2018\",\npublisher=\"Springer International Publishing\",\naddress=\"Cham\",\npages=\"30--46\",\nabstract=\"To increase the impact and capabilities of formal verification, it should be possible to apply different verification techniques on the same specification. However, this can only be achieved if verification tools agree on the syntax and underlying semantics of the specification language and unfortunately, in practice, this is often not the case.\",\nisbn=\"978-3-319-98938-9\",\nurl={https://link.springer.com/chapter/10.1007/978-3-319-98938-9_3}\n}\n\n","author_short":["Boerman, J.","Huisman, M.","Joosten, S."],"editor_short":["Furia, C. A.","Winter, K."],"key":"10.1007/978-3-319-98938-9_3","id":"10.1007/978-3-319-98938-9_3","bibbaseid":"boerman-huisman-joosten-reasoningaboutjmldifferencesbetweenkeyandopenjml-2018","role":"author","urls":{"Paper":"https://link.springer.com/chapter/10.1007/978-3-319-98938-9_3"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.061Z","downloads":1,"keywords":[],"search_terms":["reasoning","jml","differences","between","key","openjml","boerman","huisman","joosten"],"title":"Reasoning About JML: Differences Between KeY and OpenJML","year":2018,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}