Alwyn Goodloe

icon indicating an email [email protected]

icon company NASA icon location NASA Langley Research Center icon location Computer scientist working in the areas of applied logic, formal methods, and programming languages.

Results 1 comments of Alwyn Goodloe

`copilot-theorem`: `kind2Prover` gives parse error when disproving a property

In the past, we sometimes involved George Hagan with Kind2 issues. He created Kind and is still in touch with the Iowa guys. On Wed, Apr 24, 2024 at 1:14 ...