Book a Demo!
Store
Features
Docs
Share
Support
News
About
Policies
Sign Up
Sign In
torvalds
Edit Copy
Star
GitHub Repository:
torvalds/linux
Path:
blob/master/tools/verification/models/rtapp/pagefault.ltl
2
6
2
9
2
views
RULE = always (RT imply not PAGEFAULT)
