## Siminiceanu A Machine-Checked Proof of Saturation 25/26 Introduction Proof of Correctness Conclusion and Future Work Questions? Catano, Siminiceanu A Machine-Checked Proof of Saturation 26

- Catano
- Siminiceanu A Machine-Checked Proof of Saturation…

@inproceedings{Catao2010AMP, title={A Machine-Checked Proof of A State-Space Construction Algorithm}, author={N{\'e}stor Cata{\~n}o and Radu I. Siminiceanu}, booktitle={NASA Formal Methods}, year={2010} }

- Published 2010 in NASA Formal Methods

### Presentations referencing similar topics