Built with from Grav and Hugo
References:
Model Checking @CMU
wiki: Model Checking, contains a list of model checking tools.
Model Checking简述
If you could revise the fundmental principles of computer system design to improve security... ... what would you change?