HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Pedro Antonino

Publications
The Challenges and Triumphs of CSP Based Formal Verification
Andrew Roscoe and Pedro Antonino
In:Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference

Keyphrases

Blockchain, COCO, CSP, FDR, verification.

Copyright © 2012-2025 easychair.org. All rights reserved.