GlebShchepa/Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
Repositories
GlebShchepa/lhx
Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)