Finding Your Way Through Formal Verification
简介：
本书介绍了形式化验证方法。这本书是作为一种在正式水域中浸泡脚趾的方式而写的。您可能对正式验证感到好奇，但您不确定它是否适合您的需求。
英文简介：
This book provides an introduction to Formal Verification methods. This book was written as a way to dip a toe in formal waters. You may be curious about formal verification, but you’re not yet sure it is right for your needs.
- 书名
- Finding Your Way Through Formal Verification
- 译名
- 找到通过形式化验证的方法
- 语言
- 英语
- 年份
- 2003
- 页数
- 136页
- 大小
- 5.67 MB
- 下载
Finding Your Way Through Formal Verification.pdf- 密码
- 65536
最后更新：2025-04-12 23:55:30
←Advanced Memristor Modeling: Memristor Circuits and Networks