SAT based Verification Tool for Labeled Transition System.

Sachoun Park, Gihwon Kwon

Browse the full SERA paper archive.