An Assertional Language for the Verification of Systems Parametric in Several Dimensions
From MaRDI portal
Publication:4921503
DOI10.1016/S1571-0661(04)00189-6zbMath1262.68115MaRDI QIDQ4921503
No author found.
Publication date: 10 May 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00189-6
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software
Cites Work
- Conditional rewriting logic as a unified model of concurrency
- Automated deduction with associative-commutative operators
- Any ground associative-commutative theory has a finite canonical system
- Parallel program schemata
- Reasoning about systems with many processes
- Well-structured transition systems everywhere!
- Symbolic model checking with rich assertional languages
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item