Academic CS in Production Code

Simple on-the-fly automatic verification of linear temporal logic

R. Gerth, D. Peled, Moshe Y. Vardi, P. Wolper
1995
2 references
View Paper PDF DOI
🖥️ Operating Systems
1 repository
2 references

Code References

▶ torvalds/linux
2 files
▶ Documentation/trace/rv/linear_temporal_logic.rst
1
https://doi.org/10.1007/978-0-387-34892-6_1
▶ tools/verification/rvgen/rvgen/ltl2ba.py
1
# https://doi.org/10.1007/978-0-387-34892-6_1
Link copied to clipboard!