欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenVAS (Open Vulnerability Assessment System) 是开源 (GPL) 渗透测试工具,是 Nessus 的分支,且完全免费。