research
∙
11/11/2019
Bunch theory: working notes on applications, axioms and models
In his book "A practical theory of programming" Eric Hehner proposes and...
share
research
∙
11/11/2019
Bunch theory, applications, axioms and models
In his book "A practical theory of programming" Eric Hehner proposes and...
research
∙
05/14/2019
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
The growing complexity and diversity of models used in the engineering o...
research
∙
12/29/2017
Unifying Theories of Reactive Design Contracts
Design-by-contract is an important technique for model-based design in w...
research
∙
12/29/2017
Unifying Theories of Time with Generalised Reactive Processes
Hoare and He's theory of reactive processes provides a unifying foundati...
research
∙
12/29/2017