A DSL to Feedback Formal Verification Results.

Faiez Zalila Xavier Crégut Marc Pantel

Published in: MoDeVVa@MoDELS (2016)

Keyphrases

formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
program slicing
fuzzy logic
object oriented
general purpose
real valued
temporal logic