Philip B. Clayton

According to our database, Philip B. Clayton authored at least 5 papers between 2004 and 2011.

Collaborative distances:

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

2011

From control law diagrams to Ada via <i>Circus</i>.

Ana Cavalcanti, Phil Clayton, Colin O'Halloran

Formal Aspects Comput., 2011

2006

Verification of Control Systems using Circus.

Ana Cavalcanti, Phil Clayton

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

2005

ClawZ: Cost-Effective Formal Verification for Control Systems.

M. M. Adams, Philip B. Clayton

Proceedings of the Formal Methods and Software Engineering, 2005

Control Law Diagrams in <i>Circus</i>.

Ana Cavalcanti, Phil Clayton, Colin O'Halloran

Proceedings of the FM 2005: Formal Methods, 2005

2004

Using the Compliance Notation in Industry.

Phil Clayton, Colin O'Halloran

Proceedings of the Refinement Techniques in Software Engineering, 2004