Model-Checking C Programs against JML-like Specification Language.

Masahiro Sakai, Kohei Maruchi, Takeo Imai

Browse the full APSEC paper archive.