James Hamil

According to our database, James Hamil authored at least 2 papers between 2019 and 2020.

Collaborative distances:

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

2020

End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK.

Laura R. Humphrey, James Hamil, Joffrey Huguet

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

2019

Practical Application of SPARK to OpenUxAS.

M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019