Speaker |
Daniel Neider (I7) |
Title | Regular Model Checking Using SAT and SMT Solvers |
When | 22.02.2012, 10:00 |
Where | Room 5052 |
Abstract | We consider regular model checking (of safety properties) and present a novel approach to prove a program correct. Instead of manipulating the input on an automaton-level, we reformulate the problem in terms of logical formulae. We offer implementations in two different logics that can be solved by a SAT or SMT solver, respectively. |
Slides |
Event calendar
- Subscribe to the ics feed.
Upcoming Events
- No Events