Polynomial Formal Verification: Ensuring Correctness under Resource Constraints.
Rolf DrechslerAlireza MahzoonPublished in: ICCAD (2022)
Keyphrases
- resource constraints
- formal verification
- model checking
- resource constrained
- model checker
- bounded model checking
- automated verification
- temporal constraints
- resource availability
- symbolic model checking
- resource constrained project scheduling problem
- routing problem
- computational complexity
- xml documents
- spatial information
- temporal reasoning