formal verification, TLA+, model checking, program proofs
No more posts from lxwdesign's subscribed feeds.
Press ? anytime to show this help