abstraction in programming
safety, liveness, and system properties
proving concurrent programs
A rigorous modular specification method requires a proof … with other components. Such a rule is subtle … of the others' environments. We examine the precise … [for composition] when modules are specified with safety and liveness properties. … [p. 78] The specification of a system \Pi asserts …
Copyright clearance needed for quotation.
Topic: abstraction in programming (67 items)
Topic: safety, liveness, and system properties (22 items)
Topic: proving concurrent programs (37 items)