Practical Formal Verification of Domain-Specific Language Applications.

Greg Eakman Howard Reubenstein Tom Hawkins Mitesh Jain Panagiotis Manolios

Published in: NFM (2015)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
functional verification
real world
symbolic model checking
programming language
database systems
temporal logic
domain specific languages
database
neural network
artificial intelligence
object oriented