Rapid Prototyping of a Semantically Well Founded Circus Model Checker.

Alexandre Mota, Adalberto Farias, Andr Didier, Jim Woodcock

Browse the full SEFM paper archive.