The Imandra Automated Reasoning System (System Description). | 0 | 0.34 | 2020 |
Automating Event-B invariant proofs by rippling and proof patching. | 0 | 0.34 | 2019 |
A computational framework for conceptual blending. | 9 | 0.57 | 2018 |
Proof automation for functional correctness in separation logic | 0 | 0.34 | 2016 |
Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending. | 9 | 0.69 | 2015 |
Towards Automated Proof Strategy Generalisation | 2 | 0.46 | 2013 |
Proof-Pattern Recognition in ACL2. | 0 | 0.34 | 2013 |
Proof-Pattern Recognition and Lemma Discovery in ACL2. | 11 | 0.67 | 2013 |
Mutation in linked data structures | 3 | 0.44 | 2011 |
The CORE system: Animation and functional correctness of pointer programs | 4 | 0.59 | 2011 |