Consistency Checks of System Properties Using LTL and Bchi Automata.

Salamah Salamah, Matthew Engskow, Omar Ochoa

Browse the full SEKE paper archive.