Reasoning about dynamically evolving process structures
Formal Aspects of Computing1994Vol. 6(3), pp. 269–316
Citations Over TimeTop 10% of 1994 papers
Abstract
Abstract We develop a Hoare-style proof system for reasoning about the behaviour of processes that interact via a dynamically evolving communication structure.
Related Papers
- → Certified assembly programming with embedded code pointers(2006)112 cited
- → Compiler verification meets cross-language linking via data abstraction(2014)31 cited
- → Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics(2007)19 cited
- → Mechanized semantics(2010)3 cited
- Java program verification via a Hoare logic with abrupt termination(1999)