Power of a Reasoner: Model Validation for SysML Model using openCAESAR.

Yuta Nakajima, Atsushi Wada, Yutaka Komatsu, Maged Elaasar, J. Steven Jenkins, David A. Wagner

Browse the full MODELS paper archive.