A theory of Orwellian specifications with NewThink

DOI10.1007/BF01211002zbMath0841.68072OpenAlexW2067538680MaRDI QIDQ1906042

Victoria Stavridou, Paul Mukherjee

Publication date: 2 July 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

specification languagenewthink

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Uses Software

• Z

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specification and compositional verification of real-time systems
• A brief history of Timed CSP
• A calculus of durations
• Weakest precondition semantics for time and concurrency

This page was built for publication: A theory of Orwellian specifications with NewThink