First-Order Theories: The Foundation of Automated Reasoning and Verification
Explore first-order theories, their role in decision procedures, and applications in formal verification of software and hardware systems.
Explore first-order theories, their role in decision procedures, and applications in formal verification of software and hardware systems.
Explore model checking techniques for automated verification of systems, including explicit-state and symbolic approaches.