Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System.

Yoshinori Neya, Noriaki Yoshiura

Browse the full ICFEM paper archive.