Formal Verification for High-Assurance Behavioral Synthesis.

Sandip Ray Kecheng Hao Yan Chen Fei Xie Jin Yang

Published in: ATVA (2009)

Keyphrases

formal verification
high assurance
model checking
software systems
operating system
access control
model checker
fault tolerant
distributed systems
bounded model checking
symbolic model checking
automated verification
program slicing
temporal logic
database
software engineering
information technology