A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems.

Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum

Browse the full MODELS paper archive.