Extending Eclipse to support object-oriented system verification.

Jiang Guo, Yuehong Liao, Raj Pamula

Browse the full IRI paper archive.