Author:
Lahtinen J.,Valkonen J.,Björkman K.,Frits J.,Niemelä I.,Heljanko K.
Subject
Industrial and Manufacturing Engineering,Safety, Risk, Reliability and Quality
Reference43 articles.
1. Replacing testing with formal verification in Intel CoreTM i7 processor execution engine validation;Kaivola;CAV 2009: Lecture Notes in Computer Science,2009
2. Model checking;Clarke,1999
3. Principles of model checking;Baier,2008
4. Cimatti A, Clarke E, Giunchiglia E, Giunchiglia F, Pistore M, Roveri M., et al. NuSMV2: an OpenSource tool for symbolic model checking. In: Proceedings of the international conference on computer-aided verification. Copenhagen, Denmark; 2002.
5. Cavada R, Cimatti A, Jochim CA, Keighren G, Olivetti E., Pistore M, et al. NuSMV 2.5 user manual. FBK-IRST 2010 [see also 〈http://nusmv.fbk.eu/〉].
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献