39 citations · 78 across the 4 of their papers we have counts for
4 papers
Bunch theory: working notes on applications, axioms and models
Bill Stoddart, Frank Zeyda, Steve Dunne
In his book A Practical Theory of Programming, Eric Hehner proposes and applies a remarkably radical reformulation of set theory, in which the collection and packaging of elements…
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
Simon Foster, James Baxter, Ana Cavalcanti +2
The growing complexity and diversity of models used in the engineering of dependable systems implies that a variety of formal methods, across differing abstractions, paradigms, and…
Unifying Theories of Reactive Design Contracts
Simon Foster, Ana Cavalcanti, Samuel Canham +2
Design-by-contract is an important technique for model-based design in which a composite system is specified by a collection of contracts that specify the behavioural assumptions a…
Refining SCJ Mission Specifications into Parallel Handler Designs
Frank Zeyda, Ana Cavalcanti
Safety-Critical Java (SCJ) is a recent technology that restricts the execution and memory model of Java in such a way that applications can be statically analysed and certified for…