Verifying Networks of Timed Processes (Extended Abstract)
No abstract available.
Related papers
- A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract) ESOP 2016
- Verifying Parameterized Networks TOPLAS 1997
- Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction VMCAI 2025
- A Typed Language for Distributed Mobile Processes (Extended Abstract) POPL 1998
- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning CAV 2022
- OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks TACAS 2023
- Formally Verified Switching Logic for Recoverability of Aircraft Controller CAV 2021
- Automatic Verification of Parameterized Linear Networks of Processes POPL 1997