FoCs swMATH ID: 1591 Software Authors: Abarbanel, Yael; Beer, Ilan; Gluhovsky, Leonid; Keidar, Sharon; Wolfsthal, Yaron Description: FoCs – automatic generation of simulation checkers from formal specifications. For the foreseeable future, industrial hardware design will continue to use both simulation and model checking in the design verification process. To date, these techniques are applied in isolation using different tools and methodologies, and different formulations of the problem. This results in cumulative high cost and little (if any) cross-leverage of the individual advantages of simulation and formal verification Homepage: http://www.springerlink.com/content/c458783128228w61/ Related Software: LTL2BA; HOL; SPIN; Copilot; JPAX; ANTLR; ML; MonPoly; Esterel; SIGNAL; Java-MOP; SPOT; z3; PMaude; Maude; AMT; PROSPER; NuSMV; SystemC; HANNIBAL Cited in: 17 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year FoCs – automatic generation of simulation checkers from formal specifications. Zbl 0974.68552Abarbanel, Yael; Beer, Ilan; Gluhovsky, Leonid; Keidar, Sharon; Wolfsthal, Yaron 2000 all top 5 Cited by 39 Authors 3 Fisman, Dana 3 Nickovic, Dejan 2 Eisner, Cindy 2 Maler, Oded 2 Tabakov, Deian 2 Vardi, Moshe Ya’akov 1 Abarbanel-Vinov, Yael 1 Balarin, Felice 1 Beer, Ilan 1 Ben-David, Shoham 1 Bozzelli, Laura 1 Brauer, Jörg 1 Chen, Xi 1 Drechsler, Rolf 1 Esparza, Javier 1 Fey, Görschwin 1 Függer, Matthias 1 Gluhovsky, Leonid 1 Gordon, Michael J. C. 1 Gordon, Mike J. 1 Havlicek, John W. 1 Hsieh, Harry 1 Hurd, Joe 1 Jones, Kevin D. 1 Katelman, Michael 1 Keidar, Sharon 1 Konrad, Victor 1 Lustig, Yoad 1 McIsaac, Anthony 1 Meseguer Guaita, José 1 Pnueli, Amir 1 Reinbacher, Thomas 1 Rozier, Kristin Yvonne 1 Ruah, Sitvanit 1 Sánchez, César 1 Schwoon, Stefan 1 Slind, Konrad 1 Van Campenhout, David 1 Wolfsthal, Yaron Cited in 4 Serials 3 Formal Methods in System Design 2 Theoretical Computer Science 1 International Journal of Parallel Programming 1 Formal Aspects of Computing Cited in 4 Fields 16 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year