Cadence SMV swMATH ID: 7795 Software Authors: McMillan K L. Description: Cadence SMV is a symbolic model checking tool that allows you to formally verify temporal logic properties of finite state systems, such as computer hardware designs. That means that instead of writing a simulation vectors or a simulation test bench, you verify your design for all possible input sequences. While formal verification is often equated with equivalence checking, model checking is substantially more general. It allows you to verify that that your specifications are correct very early in the design process by building abstract system level models. Its use continues through the design refinement process, allowing you to verify that your RTL level design correctly implements your high level model. Homepage: http://www.kenmcmil.com/smv.html Related Software: NuSMV; SPIN; SPOT; LTL2BA; VIS; CESAR; Uppaal; MOCHA; PRISM; MiniSat; FuncTion; Ultimate Kojak; LTLAutomizer; Ultimate; CBMC; MathSAT5; OpenSMT; AProVE; Bandera; CPAchecker Cited in: 22 Publications all top 5 Cited by 59 Authors 2 McMillan, Kenneth L. 1 Bak, Thomas 1 Barbuti, Roberto 1 Bernardeschi, Cinzia 1 Bjesse, Per 1 Bryant, Randal E. 1 Calder, Muffy 1 Chou, Ching-Tsun 1 Clarke, Edmund Melson jun. 1 Clifton, Charles A. 1 De Francesco, Nicoletta 1 Dietsch, Daniel 1 Feng, Lei 1 Ferrante, Alessandro 1 Fu, Zhaohui 1 Glusman, Marcelo 1 Gupta, Anubhav 1 He, Jifeng 1 Heizmann, Matthias 1 Izadi-Zamanabadi, Roozbeh 1 Katz, Shmuel 1 Klai, Kais 1 Koo, T. John 1 Kwiatkowska, Marta Z. 1 Lahiri, Shuvendu Kumar 1 Langenfeld, Vincent 1 Leonard, Tim 1 Li, Jianwen 1 Li, Rongqing 1 Mannava, Phanindra K. 1 Miller, Alice Ann 1 Mokkedem, Abdel 1 Napoli, Margherita 1 Norman, Gethin 1 Parente, Mimmo 1 Park, Seungjoon 1 Petrucci, Laure 1 Plath, Malte 1 Pnueli, Amir 1 Podelski, Andreas 1 Pu, Geguang 1 Qadeer, Shaz 1 Quottrup, Michael M. 1 Reniers, Michel Adriaan 1 Rozier, Kristin Yvonne 1 Ryan, Mark Dermot 1 Saxe, James B. 1 Schneider, Klaus 1 Segala, Roberto 1 Shankar, Natarajan 1 Talupur, Muralidhar 1 Thiagarajan, Pazhamaneri Subramaniam 1 Tverdyshev, Sergey 1 Vardi, Moshe Ya’akov 1 Veith, Helmut 1 Wonham, W. Murray 1 Zhang, Lijun 1 Zhu, Shufang 1 Zuck, Lenore D. all top 5 Cited in 8 Serials 2 Formal Methods in System Design 1 The Computer Journal. Section A / Section B 1 Theoretical Computer Science 1 Science of Computer Programming 1 Formal Aspects of Computing 1 Computer Languages, Systems & Structures 1 Science China. Information Sciences 1 Computer Science Review Cited in 3 Fields 22 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 Systems theory; control (93-XX) Citations by Year