Formal Specification of Behavior
Formal Specification of Behavior
m First-order Logic [Wagner 77]
m Approaches based on theorem proving:
Ô Predicate Calculus [Hanes 83]Ô Axiomatic-based [Wojcik DAC 83]Ô Inductive Assertion Method [Pitchumani & Stabler DAC 83]Ô Boyer-Moore [Hunt 87; Hwang 88]Ô Mixed Simulation & Proof [Suzuki 84]