Dogfooding the Formal Semantics of mCRL2.

Frank P. M. Stappers Michel A. Reniers Sven Weber Jan Friso Groote

Published in: SEW (2012)

Keyphrases

formal semantics
logical language
er model
first order logic
modeling language
formal language
modelling language
theorem prover
learning environment
query processing