Goldilocks and the three specifications

DOI10.1007/3-540-56610-4_52zbMath1497.68306OpenAlexW1591211118MaRDI QIDQ5044720

J. V. Guttag

Publication date: 2 November 2022

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

Full work available at URL: https://doi.org/10.1007/3-540-56610-4_52

Mathematics Subject Classification ID

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

Uses Software

• LARCH

Cites Work

• Monitors
• The structure of the “THE”-multiprogramming system
• Unnamed Item
• Unnamed Item

This page was built for publication: Goldilocks and the three specifications