The Guardol Language and Verification System.

David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham

Browse the full TACAS paper archive.