Applying Tailored Formal Methods to X-ATPG.

Karsten Scheibler Dominik Erb Bernd Becker

Published in: MBMV (2016)

Keyphrases

formal methods
model checking
formal analysis
provably correct
safety critical
model checker
formal specification
software engineering
artificial intelligence
knowledge based systems
process algebra
development lifecycle
formal specification language
security properties
web services
reactive systems
database