Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification.

Farn Wang

Browse the full TASE paper archive.