SMT-Based Model Checking for Stabilizing Programs

Jingshu Chen, Sandeep S. Kulkarni

Browse the full ICDCN paper archive.