Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study
No abstract available.
DOI 10.1007/3-540-56496-9_16
Related papers
- Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models CAV 2020
- A verified messaging system OOPSLA 2017
- CCAL: An interpreted language for experimentation in concurrent control PLDI 1987
- AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems CAV 2020
- Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs GPCE 2018
- Hoare-style reasoning with (algebraic) continuations ICFP 2013
- Automated Verification of Fundamental Algebraic Laws PLDI 2024
- From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification POPL 2015