Mechanizing compositional reasoning for concurrent systems: some lessons (Q2576572)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2238116
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Mechanizing compositional reasoning for concurrent systems: some lessons |
scientific article; zbMATH DE number 2238116 |
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
0.8009761571884155
0 references
0.7618184685707092
0 references
0.7459145188331604
0 references
0.7291965484619141
0 references
