A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is
Proceedings of the 10th International Modelica Conference, March 10-12, 2014, Lund, Sweden
Engineers need to perform many different types of analyses as they design systems. Modelica has become a leading language to support numerical simulation. As a consequence there is widespread understanding of Modelica and a large number of Modelica model libraries available. This paper addresses the task of using formal methods to derive system properties such as whether a design meets its requirements for all possible inputs. We report on our experience building a qualitative reasonerdoi:10.3384/ecp14096205 fatcat:xnwyvbvfuzbvhiugs6xsom7gsq