Automated Reasoning

Sort options

Automated Reasoning: satisfiability (Coursera)

Oct 18th 2021
Automated Reasoning: satisfiability (Coursera)
Course Auditing
Categories
Effort
Languages
In this course you will learn how to apply satisfiability (SAT/SMT) tools to solve a wide range of problems. Several basic examples are given to get the flavor of the applications: fitting rectangles to be applied for printing posters, scheduling problems, solving puzzles, and program correctness. Also underlying theory [...]
0
No votes yet

Automated Reasoning: Symbolic Model Checking (Coursera)

This course presents how properties of acting systems and programs can be verified automatically. The basic notion is a transition system: any system that can be described by states and steps. We present how in CTL (computation tree logic) properties like reachability can be described.
0
No votes yet