Integration of modeling and verification for system model based on KARMA language.

Jie Ding, Michel A. Reniers, Jinzhi Lu, Guoxin Wang, Lei Feng, Dimitris Kiritsis

Browse the full OOPSLA paper archive.