Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Synthesizing Proofs Using Proof Sharding and Exploration
Seyed Armin Vakil Ghahani, Manos Kapritsos
Distributed systems are hard to implement correctly, and subtle bugs can go undetected using traditional testing. Formal verification offers an alternative for proving the correctn…
cs.PL2022
Formally verified asymptotic consensus in robust networks
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin +2
Distributed architectures are used to improve performance and reliability of various systems. Examples include drone swarms and load-balancing servers. An important capability of a…