Verifying Modelling Languages using Lightning: a Case Study.

Loïc Gammaitoni Pierre Kelsen Fabien Mathey

Published in: MoDeVVa@MoDELS (2014)

Keyphrases

case study
expressive power
cross lingual
language independent
model checking
databases
neural network
relational databases
temporal logic
information retrieval
website
information retrieval systems