Programming Language Theory Flashcard
Name some lightweight formal methods
Books
Concepts
Decklanguage theory
Question
Name some lightweight formal methods
Answer
Model checker.
Type system.
Runtime monitoring.
Question
Name some lightweight formal methods
Answer
Model checker.
Type system.
Runtime monitoring.