A Graphical Environment for the Specification and Verification of Reactive Systems.

A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar

Browse the full SAFECOMP paper archive.