A mechanized proof environment for the convenient computations proof method

DOI10.1023/A:1024746015231zbMath1057.68111OpenAlexW1605919360MaRDI QIDQ1426938

Shmuel Katz, Marcelo Glusman

Publication date: 15 March 2004

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1024746015231

zbMATH Keywords

formal verificationPVSconvenient computationsdeductive theorem provingproof environment

Mathematics Subject Classification ID

Related Items (1)

Cones and foci: A mechanical framework for protocol verification

Uses Software

• PVS

This page was built for publication: A mechanized proof environment for the convenient computations proof method