Conor Reynolds

According to our database, Conor Reynolds authored at least 3 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Machine-Assisted Proofs for Institutions in Coq.

Conor Reynolds, Rosemary Monahan

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

Using dafny to solve the VerifyThis 2021 challenges.

Marie Farrell, Conor Reynolds, Rosemary Monahan

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

Formalizing the Institution for Event-B in the Coq Proof Assistant.

Conor Reynolds

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021