从EDOC模型到J2EE程序：一个MDA工具的实现 从EDOC模型到J2EE程序：一个MDA工具的实现 从EDOC模型到J2EE程序：一个MDA工具的实现

犯错 Concuerror是用于Erlang程序的无状态模型检查工具。 它可用于系统地测试程序的并发错误，检测和报告仅在少数特定计划中发生的错误，或验证其不存在。 以获取文档，示例，教程，出版物以及更多内容！ 支持的OTP版本 如何建造 编译： make 构建文档： make edoc 运行测试套件： make tests tests-real tests-unit变为make tests tests-real tests-unit 运行透析仪： make dialyzer 运行猫王：