Formal analysis of the application programming interface of the PVS verification system

DOI10.1016/j.jlamp.2022.100793OpenAlexW4286250855WikidataQ114159198 ScholiaQ114159198MaRDI QIDQ2168789

Paolo Masci

Publication date: 26 August 2022

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100793

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Statecharts: a visual formalism for complex systems
• The \textsc{MetaCoq} project
• An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

This page was built for publication: Formal analysis of the application programming interface of the PVS verification system