Specification of Parametric Monitors.

Klaus Havelund Giles Reger

Published in: SyDe Summer School (2015)

Keyphrases

high level
genetic algorithm
three dimensional
data sets
artificial intelligence
database systems
object oriented
formal specification
specification language
formal verification
parametric representation