Questions tagged «model-checking»

1
编程语言语义原型制作工具
是否有用于对编程语言语义和类型系统进行原型制作的工具,并且还允许对标准属性(例如类型健全性)进行某种模型检查? 我之所以这样问,是因为我正在读一本有关Alloy的书,它提供了我想要的确切功能,但是对于使用关系逻辑表示的模型而言。 我知道Ott,但是它没有这种“模型检查”功能,因为它专注于为证明助手系统生成代码。 任何有关这种工具存在的参考都将是不错的。
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.