Name
1
Understand the basic knowledge of model checking
Drag to adjust the number of frozen columns
Status
Project
SubTask
Time on this
Notes
Time tracker
In progress
Verification
  • read <handbook of model checking>
4:34
22:33-23:30
19-22:30
1 record
Extensions

Alert

Lorem ipsum
Okay