Programming Language Theory Flashcard
Name some classical heavyweight formal methods
Books
Concepts
Decklanguage theory
Question
Name some classical heavyweight formal methods
Answer
Hoare logic.
Modal logic.
Algebraic definition language.
Denotational semantics.