- Mathematica in formal Methods: A Package for Mathematica that implements the formal language VDM-SL that is used for specifying and verifying software. With this package it is possible to treat the discrete control model together with the continuous physical model. This package was presented at the LfM 2000 NASA congress in Williamsburg, VA, USA, June 2000.
| Other Sciences |
|
|