39 citations · 78 across the 4 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
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…
cs.LO2019★ 39 cited
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…