Ivy: A Multi-modal Verification Tool for Distributed Algorithms

Date

2020

Authors

• Kenneth L. McMillan
• Oded Padon

Type

Inproceedings

Booktitle

Computer Aided Verification - 32nd International Conference, CAV 2020