scientific article; zbMATH DE number 1082080
From MaRDI portal
Publication:4365106
zbMath0890.03005MaRDI QIDQ4365106
Publication date: 29 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
functional programmingMLinteractive theorem provingnoetherian inductionhigher-order inductive theorem provingverification of functional programs
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)
Related Items (3)
Verification of a multiprocessor cache protocol using simulation relations and higher-order logic ⋮ Local Theory Specifications in Isabelle/Isar ⋮ Adapting functional programs to higher order logic
Uses Software
This page was built for publication:
