A Graphical Interval Logic Toolset for Verifying Concurrent Systems.

George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith

Browse the full CAV paper archive.