Simple PROMELA Interpreter的意思|示意

美 / / 英 / /

简单的PROMELA解释器

简单进程元语言解释器简单进程元语言解释器(Simple PROMELA Interpreter,SPIN)作为模型验证的一种开源工具,由于具有占用内存空间小,并保证程序能够按照原有的工作方式被高效地验证的特...