Mechanizing compositional reasoning for concurrent systems: some lessons (Q2576572)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mechanizing compositional reasoning for concurrent systems: some lessons |
scientific article |
Statements
Mechanizing compositional reasoning for concurrent systems: some lessons (English)
0 references
13 December 2005
0 references
UNITY
0 references
Isabelle
0 references
Compositional reasoning
0 references
Existential properties
0 references
Universal properties
0 references
Guarantees assertions
0 references
