Local Analysis of Determinism for CSP

DOI10.1007/978-3-319-70848-5_8zbMath1498.68167OpenAlexW2767230972MaRDI QIDQ5045461

Rodrigo Otoni, Ana Cavalcanti, Augusto Sampaio

Publication date: 4 November 2022

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

Full work available at URL: https://doi.org/10.1007/978-3-319-70848-5_8

zbMATH Keywords

performanceexperimentsmodel checkingFDR

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)

Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving

This page was built for publication: Local Analysis of Determinism for CSP