Sign in
Formal verification of Matrix based MATLAB models using interactive theorem proving.
Ayesha Gauhar
Adnan Rashid
Osman Hasan
João Bispo
João M. P. Cardoso
Published in:
PeerJ Comput. Sci. (2021)
Keyphrases
</>
formal verification
image processing
prior knowledge
probabilistic model
model checking
neural network
rough sets
parameter estimation
experimental data
statistical models
singular value decomposition
symbolic model checking
automated verification