Pages that link to "Item:Q1177172"
From MaRDI portal
The following pages link to Partial specifications and compositional verification (Q1177172):
Displaying 12 items.
- Modal logics for communicating systems (Q578896) (← links)
- Proving correctness with respect to nondeterministic safety specifications (Q1182117) (← links)
- Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship (Q1187626) (← links)
- A compositional protocol verification using relativized bisimulation (Q1193593) (← links)
- An explanatory presentation of composition rules for assumption- commitment specifications (Q1321833) (← links)
- Constructive consistency checking for partial specification in Z (Q1961429) (← links)
- (Q4222919) (← links)
- Properties Incompleteness Evaluation by Functional Verification (Q4564139) (← links)
- (Q4703884) (← links)
- Proving correctness w.r.t. specifications with hidden parts (Q5096185) (← links)
- Computer Aided Verification (Q5312901) (← links)
- Term Rewriting and Applications (Q5703846) (← links)