完善资料让更多小伙伴认识你,还能领取20积分哦, 立即完善>
Formal verification methods prove mathematically that a design does not contain unwanted behavior. As a result, they help ensure that a system design meets the specification before time and effort are invested in implementation. In this paper, Walter Storm, a senior developer at Lockheed Martin, presents an easy-to-understand application of formal methods—specifically, model checking. Through an example based on the popular game Sudoku, Storm demonstrates the power and simplicity of model checking technology as implemented within Simulink. Topics covered include formalizing constraints and requirements, using math to search for solutions that prove design correctness, generating counterexamples (test cases known to violate the requirements), and fixing these violations.·······
A Model Checking Example_v5.pdf
(436.65 KB, 下载次数: 9
)
|
|
相关推荐
|
|
小黑屋| 手机版| Archiver| 电子发烧友 ( 湘ICP备2023018690号 )
GMT+8, 2024-3-28 19:01 , Processed in 0.504182 second(s), Total 71, Slave 52 queries .
Powered by 电子发烧友网
© 2015 bbs.elecfans.com
关注我们的微信
下载发烧友APP
电子发烧友观察
版权所有 © 深圳华秋电子有限公司
电子发烧友 (电路图) 粤公网安备 44030402000349 号 电信与信息服务业务经营许可证:合字B2-20210191 工商网监 湘ICP备2023018690号