Automated model verification using an equivalence test on a reference model.

Akin Akbulut, Stephan Abke, Christoph Laroque

Browse the full WSC paper archive.