Formal verification of Matrix based MATLAB models using interactive theorem proving

MATLAB is a software based analysis environment that supports a high-level programing language and is widely used to model and analyze systems in various domains of engineering and sciences. Traditionally, the analysis of MATLAB models is done using simulation and debugging/testing frameworks. These...

Descripción completa

Detalles Bibliográficos
Autores principales: Gauhar, Ayesha, Rashid, Adnan, Hasan, Osman, Bispo, João, Cardoso, João M.P.
Formato: Online Artículo Texto
Lenguaje:English
Publicado: PeerJ Inc. 2021
Materias:
Theory and Formal Methods
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8022509/
https://www.ncbi.nlm.nih.gov/pubmed/33834107
http://dx.doi.org/10.7717/peerj-cs.440

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8022509/
https://www.ncbi.nlm.nih.gov/pubmed/33834107
http://dx.doi.org/10.7717/peerj-cs.440

Ejemplares similares