Ortac: Runtime Assertion Checking for OCaml (Tool Paper).

Jean-Christophe Filliâtre Clément Pascutto

Published in: RV (2021)

Keyphrases

real time
real world
data mining
genetic algorithm
learning environment
object oriented
user friendly
software tools
analysis tool