Theorem Proving in Higher Order Logics

DOI10.1007/B100400zbMATH Open1099.68526OpenAlexW2798038182MaRDI QIDQ5464653

Jeffrey Maddalon, Lee Pike, Alfons Geser, Paul Stevens Miner

Publication date: 18 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100400

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (2)

A trace-based compositional proof theory for fault tolerant distributed systems ⋮ Title not available (Why is that?)

Uses Software

• PVS

This page was built for publication: Theorem Proving in Higher Order Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5464653)