Verification condition generation for hybrid systems.

Xian Li, Klaus Schneider

Browse the full MEMOCODE paper archive.