Research Output 2008 2018

Filter
Chapter
2016
1 Citations

Formal specification with the Java modeling language

Huisman, M., Ahrendt, W., Grahl, D. & Hentschel, M. Dec 2016 Deductive Software Verification – The KeY Book. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P. H. & Ulbrich, M. (eds.). London: Springer Verlag, p. 193-241 49 p. (Lecture Notes in Computer Science; vol. 10001)

Research output: ScientificChapter

Modeling languages
2014
5 Citations

Verification of concurrent systems with VerCors

Amighi, A., Blom, S., Darabi, S., Huisman, M., Mostowski, W. & Zaharieva, M. Jun 2014 Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. Bernardo, M., Damiani, F., Hahnle, R., Johnsen, E. & Schaefer, I. (eds.). Berlin: Springer Verlag, p. 172-216 45 p. (Lecture Notes in Computer Science; vol. 8483, no. 8483)

Research output: ScientificChapter

Invariance