User Tools

Site Tools


termine:ws15:160128

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

termine:ws15:160128 [16.03.2016 10:50] (current)
ctadmin created
Line 1: Line 1:
 +====== 28.01.2016 - Mark Müller ======
  
 +^ Time       | 14:00    |
 +^ Room       | 34-420 ​  |
 +
 +===== Title =====
 +
 +Checking regular inclusion using a procedure inspired by
 +IC3 (Master'​s Thesis)
 +
 +===== Abstract =====
 +
 +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