George Granberry

According to our database, George Granberry authored at least 2 papers in 2024.

Collaborative distances:

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

2024

Towards Integrating Copiloting and Formal Methods - Building Blocks, Architecture, and Challenges.

George Granberry, Wolfgang Ahrendt, Moa Johansson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods.

George Granberry, Wolfgang Ahrendt, Moa Johansson

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024