Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution).

Franck Cassez, Takashi Matsuoka, Edward Pierzchalski, Nathan Smyth

Browse the full TACAS paper archive.