SPEEDY: An Eclipse-based IDE for invariant inference

Autor: Cok, David R., Johnson, Scott C.

Publikováno v: EPTCS 149, 2014, pp. 44-57

SPEEDY is an Eclipse-based IDE for exploring techniques that assist users in generating correct specifications, particularly including invariant inference algorithms and tools. It integrates with several back-end tools that propose invariants and wil

Externí odkaz: http://arxiv.org/abs/1404.6605

IntelliJML: a JML plugin for IntelliJ IDEA

Autor: Monteiro, Steven, Sokolovas, Erikas, Wittingen, Ellen, Dijk, Tom Van, Huisman, Marieke, Cok, David R.

Publikováno v: FTfJP 2021-Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021, 39-42
STARTPAGE=39;ENDPAGE=42;TITLE=FTfJP 2021-Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021

Java code can be annotated with formal specifications using the Java Modelling Language (JML). Previous work has provided IDE plugins intended to help write JML, but mostly for the Eclipse IDE. We introduce IntelliJML, a JML plugin for IntelliJ IDEA,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e02819fadf75ccdbda283a64e1c83578
https://doi.org/10.1145/3464971.3468423

Hyperfine and spin-rotational structure of CaBr X 2Σ (v = 0) by molecular-beam laser-rf double resonance.

Autor: Childs, W. J., Cok, David R., Goodman, G. L., Goodman, L. S.

Publikováno v: Journal of Chemical Physics; Jul1981, Vol. 75 Issue 2, p501-507, 7p

Specifying java iterators with JML and Esc/Java2.

Autor: Cok, David R.

Publikováno v: Proceedings of the 2006 Conference: Specification & Verification of Component-based Systems; 11/10/2006, p71-74, 4p

The 2014 SMT Competition

Autor: Cok, David R., Déharbe, David, Weber, Tjark

Publikováno v: Journal on Satisfiability, Boolean Modeling and Computation; June 2015, Vol. 9 Issue: 1 p207-242, 36p