scientific article; zbMATH DE number 2185685

MaRDI QIDQ3024865zbMATH OpenFDO

Authors Holger Busch

Publication date 4 July 2005

Mathematics Subject Classification ID

Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(2)

• Inference rules for programming languages with side effects in expressions
• Proving liveness of fair transition systems

Describes a project that uses

Uses Software

• Isabelle
• HOL

This page was built for publication:

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