Sign in
◑
Theme
android-kvm
/
linux
/
fbd97dd1d3ce32d32fb7be86acc3fdb7c04fa043
/
.
/
tools
/
verification
/
rvgen
/
tests
/
specs
/
test_ltl.ltl
blob: 5ed658abd69c8daa2dd01ac8afd7c3f47f0a84ab [
file
]
RULE
=
always
(
EVENT_A imply eventually EVENT_B
)
