Wendy Johnston

According to our database, Wendy Johnston authored at least 2 papers in 2006.

Collaborative distances:

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

2006

An Automated Approach for the Interpretation of Counter-Examples.

Lionel van den Berg, Paul A. Strooper, Wendy Johnston

Proceedings of the Workshop on Verification and Debugging, 2006

Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking.

Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson

Proceedings of the FM 2006: Formal Methods, 2006