NBAC验证/切片工具

伯特兰·珍妮特

2010年10月25日

• 介绍
• NBAC教程
• NBAC参考手册
• 验证LUSTRE程序：卢斯2nbac
• 错误诊断：nbac2lucky篮球俱乐部和幸运的
• 分析AUTOC/AUTO（混合）自动机：auto2自动，自动2nbac，nbac2汽车
• 示例
• 下载
• 参考文献
• 脚注