Operation Caching and State Compression for Model Checking of High-Level Models - How to Have Your Cake and Eat It.

Michael Leuschel

Browse the full IFM paper archive.