Replacing Testing with Formal Verification in Intel^{\ scriptsize\ circledR} CoreTM i7 Processor Execution Engine Validation R Kaivola, R Ghughal, N Narasimhan, A Telfer, J Whittemore, S Pandav, ... International Conference on Computer Aided Verification, 414-429, 2009 | 224 | 2009 |
Efficient OBDD-based Boolean manipulation in CAD beyond current limits CMJ Bern 32nd Design Automation Conference, 408-413, 1995 | 93 | 1995 |
Speeding up variable reordering of OBDDs C Meinel, A Slobodová Proceedings International Conference on Computer Design VLSI in Computers …, 1997 | 84 | 1997 |
A flexible formal verification framework for industrial scale validation A Slobodová, J Davis, S Swords, W Hunt Jr Formal Methods and Models for Codesign (MEMOCODE), 2011 9th IEEE/ACM …, 2011 | 59 | 2011 |
On the complexity of constructing optimal ordered binary decision diagrams C Meinel, A Slobodová International Symposium on Mathematical Foundations of Computer Science, 515-524, 1994 | 59 | 1994 |
Industrial Hardware and Software Verification with ACL2 WA Hunt Jr, M Kaufmann, JS Moore, A Slobodova Philosophical Transactions of the Royal Society (Article Number 20150399 …, 2017 | 55 | 2017 |
ON THE POWER OF SYNCHRONIZATION IN PARALLEL COMPUTATIONS B ROVAN, A SLOBODOVA Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland …, 1989 | 49* | 1989 |
Some heuristics for generating tree-like FBDD types J Bern, C Meinel, A Slobodová IEEE transactions on computer-aided design of integrated circuits and …, 1996 | 43 | 1996 |
Use of formal verification at Centaur Technology WA Hunt Jr, S Swords, J Davis, A Slobodova Design and Verification of Microprocessor Systems for High-Assurance …, 2010 | 37 | 2010 |
Sample method for minimization of OBDDs A Slobodová, C Meinel SOFSEM’98: Theory and Practice of Informatics, 419-428, 1998 | 36 | 1998 |
Boolean manipulation with free BDD's. First experimental results J Bern, J Gergov, C Meinel, A Slobodova Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC, 200-207, 1994 | 35 | 1994 |
Global rebuilding of OBDD's avoiding memory requirement maxima J Bern, C Meinel, A Slobodova IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1996 | 32 | 1996 |
Global rebuilding of OBDDs avoiding memory requirement maxima J Bern, C Meinel, A Slobodová International Conference on Computer Aided Verification, 4-15, 1995 | 32 | 1995 |
On the power of communication in alternating machines A Slobodová International Symposium on Mathematical Foundations of Computer Science, 518-528, 1988 | 32 | 1988 |
Deterministic versus nondeterministic space in terms of synchronized alternating machines J Hromkovic, B Rovan, A Slobodova Theoretical computer science 132 (1-2), 319-336, 1994 | 28 | 1994 |
Automated and Scalable Verification of Integer Multipliers M Temel, A Slobodova, WA Hunt International Conference on Computer Aided Verification, 485-507, 2020 | 26 | 2020 |
On the power of synchronization in parallel computations J Dassow, J Hromkovič, J Karhumaki, B Rovan, A Slobodová Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland …, 1989 | 26 | 1989 |
Verifying x86 instruction implementations S Goel, A Slobodová, R Sumners, S Swords Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020 | 19 | 2020 |
On the power of one-way synchronized alternating machines with small space J Hromkovič, K Inoue, B Rovan, A Slobodova, I Takanami, KW Wagner Int. J. of Foundations of Computer Science 3 (1), 65-79, 1992 | 19 | 1992 |
Challenges for formal verification in industrial setting A Slobodová International Workshop on Formal Methods for Industrial Critical Systems, 1-22, 2006 | 18 | 2006 |