A Bounded Model Checker for SPARK Programs.

Cludio Belo Loureno, Maria Joo Frade, Jorge Sousa Pinto

Browse the full ATVA paper archive.