An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System Specifications.

Takenobu Aoshima, Naoki Yonezaki

Browse the full EJC paper archive.