Formal Methods for Software Engineering
Markus Roggenbach, António Cerone, Bernd–Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Topics & Concepts
Formal methodsComputer scienceProgramming languageSoftware engineeringFormal specificationFormal verificationRefinementProcess calculusFormal Methods in VerificationLogic, programming, and type systemsLogic, Reasoning, and Knowledge