Verified | Get2pc

Verified Get2PC is a secure and reliable implementation of the 2PC protocol. It ensures that the 2PC protocol is executed correctly and securely, even in the presence of failures or malicious actors. Verified Get2PC provides a formal verification of the 2PC protocol, ensuring that it meets the required safety and liveness properties.