Abstracting and Counting Synchronizing Processes (Q5172645)
From MaRDI portal
scientific article; zbMATH DE number 6397679
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abstracting and Counting Synchronizing Processes |
scientific article; zbMATH DE number 6397679 |
Statements
Abstracting and Counting Synchronizing Processes (English)
0 references
4 February 2015
0 references
parameterized verification
0 references
counting logic
0 references
barrier synchronization
0 references
deadlock freedom
0 references
multithreaded programs
0 references
counter abstraction
0 references
predicate abstraction
0 references
constrained monotonic abstraction
0 references
