formal verification, TLA+, model checking, theorem proving
No more posts from troywonderwoo's subscribed feeds.
Press ? anytime to show this help