Cited By
View all- Clavel RPierre LLeveugle R(2011)Towards robustness analysis using PVSProceedings of the Second international conference on Interactive theorem proving10.5555/2033939.2033949(71-86)Online publication date: 22-Aug-2011
- Pierre LClavel RLeveugle RRay SRussinoff D(2009)ACL2 for the verification of fault-tolerance propertiesProceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications10.1145/1637837.1637852(90-99)Online publication date: 11-May-2009