TLA+ Threading for Recomp-Verify

Student: Eduardo Naranjo

Mentor: Ian Dardik

Compositional Verification

TLA+

Distributed Protocols

This project aims to improve recomposition for efficiently verifying distributed systems. The project involves improving techniques for decomposing systems and improving algorithms for threading to accelerate the speed of model checking.