EXP.OPEN 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-fly Verification Methods (2005)

by F Lang
Venue:In Proceedings of the 5th International Conference on Integrated Formal Methods IFM’2005, volume 3771 of Lecture Notes in Computer Science