Corinna Spermann

According to our database, Corinna Spermann authored at least 4 papers between 2007 and 2009.

Collaborative distances:

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

2009

On symmetry reduction in model checking via graph canonicalisation.

Corinna Spermann

PhD thesis, 2009

2008

ProB gets Nauty: Effective Symmetry Reduction for B and Z Models.

Corinna Spermann, Michael Leuschel

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

2007

Symmetry Reduced Model Checking for B.

Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Symmetry Reduction for B by Permutation Flooding.

Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner

Proceedings of the B 2007: Formal Specification and Development in B, 2007