Login / Signup
Towards a Formal Semantics of the TESL Specification Language.
Hai Nguyen Van
Thibaut Balabonski
Frédéric Boulanger
Safouan Taha
Benoît Valiron
Burkhart Wolff
Lina Ye
Published in:
GEMOC+MPM@MoDELS (2015)
Keyphrases
</>
formal semantics
specification language
formal specification
description language
programming language
operational semantics
modeling language
logical language
theorem prover
formal language
logical reasoning
model checking
general purpose
software environment
modelling language
databases
artificial intelligence