Lecture 04: Model checking

Semester: 
2018. tavasz

See this discussion for a difference between implies, entails and provable.