A Mechanized Strategy for Safe Abstraction of CSP Specifications

DOI10.1007/978-3-642-10452-7_9zbMath1266.68132OpenAlexW1529204695MaRDI QIDQ3651280

Adriana Damasceno, Alexandre Mota, Adalberto Farias

Publication date: 9 December 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-10452-7_9

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)

Related Items (1)

Test generation from state based use case models

This page was built for publication: A Mechanized Strategy for Safe Abstraction of CSP Specifications