FDR explorer
From MaRDI portal
Publication:1019020
DOI10.1007/s00165-008-0074-7zbMath1162.68476MaRDI QIDQ1019020
Leo Freitas, J. C. P. Woodcock
Publication date: 27 May 2009
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-008-0074-7
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Experiments with discrimination-tree indexing and path indexing for term retrieval
- Testing equivalence as a bisimulation equivalence
- The verified software repository: a step towards the verifying compiler
- Formal Specification Generation from Requirement Documents
- Communicating Sequential Processes. The First 25 Years
- FM 2005: Formal Methods