Composing leads-to properties

DOI10.1016/S0304-3975(98)00233-3zbMath0944.68127MaRDI QIDQ1575647

N. Delaunay

Publication date: 21 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

verificationcommutativityparallel compositionleads-to

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Eliminating the substitution axiom from UNITY logic
• A predicate transformer for progress
• Specifying modules to satisfy interfaces: A state transition system approach
• Composition of assumption-commitment specifications in a UNITY style
• Data refinement of mixed specifications: A generalization of UNITY
• Extensions of the UNITY methodology: compositionality, fairness and probability in parallelism
• Predicate transformers for reasoning about concurrent computation
• Tentative steps toward a development method for interfering programs
• Reduction

This page was built for publication: Composing leads-to properties