Verification of embbeded systems with preemption: a negative result.

Jrme Ermont, Frdric Boniol

Browse the full ISoLA paper archive.