KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.

Crystal Chang Din Richard Bubel Reiner Hähnle

Published in: CADE (2015)

Keyphrases

modelling language
model checking
database
e learning
learning process
learning design
formal semantics
user interface
object oriented