Keyword:FDR

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