STRL STRL
© STRL 1996-2012
A Decision Procedure for Fusion Logic
Antonio Cau, Helge Janicke and Ben Moszkowski

2012
(Pdf version of slides)


1  Introduction

2  Motivation

3  Fusion Logic
     3.1  Syntax
     3.2  Semantics

4  Decision Procedure for Fusion Logic
     4.1  Time Reversal Step
     4.2  Reduction Step
     4.3  BDD Step

5  Future work






February 27, 2012
Home | Training | Research | People | About | News | ITL home