GOSPEL - Providing OCaml with a Formal Specification Language.

Arthur Charguéraud Jean-Christophe Filliâtre Cláudio Lourenço Mário Pereira

Published in: FM (2019)

Keyphrases

formal specification language
temporal logic
real time
real world
machine learning
artificial intelligence
e learning
image processing
information technology
end users