Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code.
Jonatan WiikPontus BoströmPublished in: ICFEM (2014)
Keyphrases
- source code
- control system
- model checking
- singular value decomposition
- image processing
- supply chain
- symbolic execution
- asynchronous circuits
- formal verification
- low rank
- java bytecode
- covariance matrix
- control algorithm
- linear algebra
- signature verification
- real time
- error correcting
- matrix representation
- quality of service
- byte code
- data sets