STRL
© 1996-2015

A Decision Procedure for Fusion Logic
Antonio Cau, Helge Janicke and Ben Moszkowski



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