Contract-based verification of MATLAB-style matrix programs.
Jonatan WiikPontus BoströmPublished in: Formal Aspects Comput. (2016)
Keyphrases
- symbolic execution
- image processing
- hardware designs
- model checking
- computer programs
- coefficient matrix
- face verification
- formal verification
- singular value decomposition
- programming environment
- linear algebra
- concurrent systems
- matrix representation
- asynchronous circuits
- automatic programming
- hopfield neural network
- signature verification
- singular values
- database
- formal methods
- sufficient conditions
- logic programs
- neural network