A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems.

Rajesh Kumar, Bruce H. Krogh

Browse the full ACC paper archive.