Protocol Verification System for SDL Specifications Based on Acyclic Expansion Algorithm and Temporal Logic.

Hironori Saito, Toru Hasegawa, Yoshiaki Kakuda

Browse the full FORTE paper archive.