Noran Azmy

According to our database, Noran Azmy authored at least 4 papers between 2013 and 2018.

Collaborative distances:

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

2018

A machine-checked correctness proof for Pastry.

Noran Azmy, Stephan Merz, Christoph Weidenbach

Sci. Comput. Program., 2018

2017

A machine-checked proof of correctness of Pastry. (Une preuve certifiée par la machine de la correction du protocole Pastry).

Noran Azmy

PhD thesis, 2017

2016

A Rigorous Correctness Proof for Pastry.

Noran Azmy, Stephan Merz, Christoph Weidenbach

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2013

Computing Tiny Clause Normal Forms.

Noran Azmy, Christoph Weidenbach

Proceedings of the Automated Deduction - CADE-24, 2013