Towards a Verification-Based Development Approach for Reactive Systems.

Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita

Browse the full SoMeT paper archive.