Article ID Journal Published Year Pages File Type
4972212 Information and Software Technology 2017 45 Pages PDF
Abstract
The proposed technique can verify ECML with support fromSpaceEx. We expect that the proposed translation rules can be used with minor modifications to translate ECML models into different notations, and thus allow for the use of verification tools other than SpaceEx.
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Human-Computer Interaction
Preview
Formal verification of ECML hybrid models with spaceex
Authors
, ,