Programming Language Theory Flashcard
What are the pros of classical heavyweight formal methods
Books
Decklanguage theory
Question
What are the pros of classical heavyweight formal methods
Answer
Able to express and prove very general and strong correctness properties about programs and systems.