Formal Verification of Timing Rules in Design Specifications.

Tibor Bartos Norbert Fristacky

Published in: FPL (1994)

Keyphrases

formal verification
model checking
bounded model checking
model checker
automated verification
association rules
high level
design process
functional requirements
design requirements
formal specification
functional verification
program slicing
neural network
software architecture
software engineering
case study