Symbolic Analysis Tools for CSP

DOI10.1007/978-3-319-10882-7_18zbMATH Open1432.68311OpenAlexW97582271MaRDI QIDQ2938170FDOQ2938170

Elsa Gunter, William Mansky, Liyi Li

Publication date: 13 January 2015

Published in: Theoretical Aspects of Computing – ICTAC 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10882-7_18

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• mCRL2
• Maude
• OCaml
• FDR2
• FDR3
• ProBE

This page was built for publication: Symbolic Analysis Tools for CSP

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