A Java code annotation approach for model checking software systems.

Glauber Ferreira, Emerson Loureiro, Elthon A. S. Oliveira

Browse the full SAC paper archive.