Proof Technologies Ltd
Home | Software | Publications | Various | Contact Us

Publications

We have written various papers promoting our approach to formal methods and formal proof, and explaining how our open source software works.