Achieving Distributed Control through Model Checking
Abstract elided by the publisher.
Related papers
- Formally verified asymptotic consensus in robust networks TACAS 2024
- Liger: Interleaving Intra- and Inter-Operator Parallelism for Distributed Large Model Inference PPoPP 2024
- Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking CAV 2012
- Precise and efficient static array bound checking for large embedded C programs PLDI 2004
- Distributed Termination TOPLAS 1980
- Koord: a language for programming and verifying distributed robotics application OOPSLA 2020
- Correct Probabilistic Model Checking with Floating-Point Arithmetic TACAS 2022
- Towards Model Checking Real-World Software-Defined Networks CAV 2020