Adam Betts. Reducing the Size of the Constraint Model in Implicit Path Enumeration Using Super Blocks. In Proceedings of the 33rd IEEE Real-Time Systems Symposium, RTSS 2012, San Juan, PR, USA, December 4-7, 2012. pages 383-392, IEEE Computer Society, 2012. [doi]
Abstract is missing.