Formal verification and empirical analysis of rollback relaxation.
Kothanda UmamageswaranKrishnan SubramaniPhilip A. WilseyPerry AlexanderPublished in: J. Syst. Archit. (1998)
Keyphrases
- empirical analysis
- formal verification
- model checking
- empirical studies
- theoretical analysis
- model checker
- automated verification
- symbolic model checking
- listed companies
- bounded model checking
- low overhead
- probabilistic relaxation
- iterative algorithms
- functional verification
- temporal logic
- convex relaxation
- objective function