Having fun with Programming
Tuesday, December 27, 2016
Model checking safety properties
Regular model checking
Regular Model Checking Made Simple and Efficient
Regular Model Checking Without Transducers
Model Checking of Safety Properties
Finite presentations of infinite structures:
Paper
/
Slide
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment