FDR explorer

DOI10.1007/S00165-008-0074-7MaRDI QIDQ1019020zbMATH OpenOpenAlexFDO

Authors Leo Freitas, Jim 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

zbMATH Keywords

FDRCSPmodel checkingautomatarefinementlabelled transition systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• FDR3 -- a modern refinement checker for CSP
• scientific article; zbMATH DE number 1693430
• FDR: from theory to industrial application
• Communicating Sequential Processes. The First 25 Years
• Communicating Sequential Processes. The First 25 Years

Cites work

• scientific article; zbMATH DE number 177511 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• Communicating Sequential Processes. The First 25 Years
• Experiments with discrimination-tree indexing and path indexing for term retrieval
• FM 2005: Formal Methods
• Formal specification generation from requirement documents
• Testing equivalence as a bisimulation equivalence
• The verified software repository: a step towards the verifying compiler

Cited in

(4)

• scientific article; zbMATH DE number 1693430 (Why is no real title available?)
• Communicating Sequential Processes. The First 25 Years
• FDR3 -- a modern refinement checker for CSP
• FDR: from theory to industrial application

Describes a project that uses

Uses Software

• TGV
• FDR2
• Z
• Casper

This page was built for publication: FDR explorer

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1019020)