Model-Checking View-Based Partial Specifications
From MaRDI portal
Publication:4917056
DOI10.1016/S1571-0661(04)80962-9zbMath1260.68100MaRDI QIDQ4917056
Publication date: 26 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
- Using powerdomains to generalize relational databases
- Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
- A typed logic of partial functions reconstructed classically
- E3: A logic for reasoning equationally in the presence of partiality
- Institutions: abstract model theory for specification and programming
- Temporal abstract interpretation
- Verifying safety properties of concurrent Java programs using 3-valued logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Model-Checking View-Based Partial Specifications