28.01.2016 - Mark Müller

Time 14:00
Room 34-420


Checking regular inclusion using a procedure inspired by IC3 (Master's Thesis)


Many formal verification problems can be translated into a regular language inclusion problem. One way to approach the regular language inclusion problem arises from the adaptation of a procedure for the verification of finite state systems called IC3. The master thesis discusses this adaptation and the performance achieved by it.

termine/ws15/160128.txt · Last modified: 16.03.2016 10:50 by ctadmin