Unifying semantic foundations for automated verification tools in Isabelle/UTP
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Topics & Concepts
Computer scienceProgramming languageSoftware engineeringLogic, programming, and type systemsFormal Methods in VerificationSecurity and Verification in Computing