The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for BMC with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1997-2001 (29) 2002 (58) 2003 (102) 2004 (264) 2005 (492) 2006 (714) 2007 (842) 2008 (958) 2009 (938) 2010 (1173) 2011 (1079) 2012 (1037) 2013 (1049) 2014 (981) 2015 (943) 2016 (921) 2017 (972) 2018 (832) 2019 (1212) 2020 (1066) 2021 (1206) 2022 (1180) 2023 (976) 2024 (385)
Publication types (Num. hits)
article(19220) data(1) inproceedings(184) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 107 occurrences of 66 keywords

Results
Found 19409 publication records. Showing 19409 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
133Madhukar Budagavi, Jerry D. Gibson Multiframe video coding for improved performance over wireless channels. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
120Malay K. Ganai, Aarti Gupta, Zijiang Yang 0006, Pranav Ashar Efficient distributed SAT and SAT-based distributed Bounded Model Checking. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Distributed-SAT, Parallel SAT, Model Checking, Formal Verification, SAT, BMC
120Malay K. Ganai, Aarti Gupta Accelerating high-level bounded model checking. Search on Bibsonomy ICCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
117Malay K. Ganai, Aarti Gupta Tunneling and slicing: towards scalable BMC. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF CFG, partitioning, slice, SMT, tunnel, EFSM, CSR, BMC
106Madhukar Budagavi, Jerry D. Gibson Error Propagation in Motion Compensated Video Over Wireless Channels. Search on Bibsonomy ICIP (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF motion compensated video, error propagation probability, multiple frames, block motion compensation, video coders, error robustness properties, multiframe BMC coders, multiple Markov chain, macroblock prediction, base level H.263 coder, simulated errors, AWGN channel, motion compensation, wireless channels, personal communication systems, Markov chain analysis
93Jinji Yang, Kaile Su, Qingliang Chen Improving Encoding Efficiency for Bounded Model Checking. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF encoding, SAT, Bounded Model Checking
93Yao-Wen Huang, Fang Yu 0001, Christian Hang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo Verifying Web Applications Using Bounded Model Checking. Search on Bibsonomy DSN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
93Malay K. Ganai, Aarti Gupta, Zijiang Yang 0006, Pranav Ashar Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
93Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi Benefits of Bounded Model Checking at an Industrial Setting. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
80Liang Zhang 0012, Mukul R. Prasad, Michael S. Hsiao Incremental deductive & inductive reasoning for SAT-based bounded model checking. Search on Bibsonomy ICCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
80Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo H. Medel Experimental Analysis of Different Techniques for Bounded Model Checking. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
76Malay K. Ganai, Aarti Gupta Completeness in SMT-based BMC for Software Programs. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
76Malay K. Ganai, Aarti Gupta Efficient BMC for Multi-Clock Systems with Clocked Specifications. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF OpenCores multiclock system benchmarks, clocked specifications, multiphased clocks, level-sensitive latches, SAT-based bounded model checking, synchronous multiclock systems, clocked LTL properties, clock modeling schemes, clock constraints, loop-checks, gated clocks
76Toni Jussila, Keijo Heljanko, Ilkka Niemelä BMC via on-the-fly determinization. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Verification, Labeled transition system, Bounded model checking
67Yanyan Xu 0001, Wei Chen 0018, Liang Xu, Wenhui Zhang Evaluation of SAT-based Bounded Model Checking of ACTL Properties. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
67Shujun Deng, Weimin Wu, Jinian Bian Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving. Search on Bibsonomy CSCWD (Selected Papers) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
67Nachum Dershowitz, Ziyad Hanna, Jacob Katz Bounded Model Checking with QBF. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
67Malay K. Ganai, Aarti Gupta, Pranav Ashar Efficient Modeling of Embedded Memories in Bounded Model Checking. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
63S. Campos, Julio C. V. Neves, Luis E. Zárate, Mark A. J. Song Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. Search on Bibsonomy ECBS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
63Malay K. Ganai, Weihong Li d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
63Manitra Rakotoarisoa, Enric Pastor BMC Encoding for Concurrent Systems. Search on Bibsonomy SCCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
63Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe A BMC-based formulation for the scheduling problem of hardware systems. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Hardware scheduling, Binary decision diagrams, Bounded model checking, Satisfiability solvers
53Tobias Schüle, Klaus Schneider 0001 Bounded model checking of infinite state systems. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems
53Ulrich Kühne, Daniel Große, Rolf Drechsler Improving the Quality of Bounded Model Checking by Means of Coverage Estimation. Search on Bibsonomy ISVLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
53Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna Disk Based Software Verification via Bounded Model Checking. Search on Bibsonomy APSEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
53Zhenyu Chen 0001, Zhihong Tao, Baowen Xu, Lifu Wang Implication-Based Approximating Bounded Model Checking. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Approximation, Abstraction, Bounded Model Checking, Implication
53Toni Jussila, Armin Biere Compressing BMC Encodings with QBF. Search on Bibsonomy BMC@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
53Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref Supporting SAT based BMC on Finite Path Models. Search on Bibsonomy BMC@CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
53Alex Groce, Daniel Kroening Making the Most of BMC Counterexamples. Search on Bibsonomy BMC@CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
53Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe A BMC-formulation for the scheduling problem in highly constrained hardware Systems. Search on Bibsonomy BMC@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
53Toni Jussila, Keijo Heljanko, Ilkka Niemelä BMC via on-the-fly determinization. Search on Bibsonomy BMC@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Jocelyn Simmonds, Jessica Davies 0001, Arie Gurfinkel, Marsha Chechik Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
50Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle Error Detection Using BMC in a Parallel Environment. Search on Bibsonomy CHARME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
50Aarti Gupta, Malay K. Ganai, Chao Wang 0001, Zijiang Yang 0006, Pranav Ashar Abstraction and BDDs Complement SAT-Based BMC in DiVer. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Aarti Gupta, Malay K. Ganai, Zijiang Yang 0006, Pranav Ashar Iterative Abstraction using SAT-based BMC with Proof Analysis. Search on Bibsonomy ICCAD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Tien-Ying Kuo, C.-C. Jay Kuo A Hybrid BMC/OBMC Motion Compensation Scheme. Search on Bibsonomy ICIP (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
40Fang Yu 0001, Bow-Yaw Wang Toward Unbounded Model Checking for Region Automata. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Region automata, Real-time systems, Model checking, Verification, Induction, BMC
40Daniel Große, Ulrich Kühne, Rolf Drechsler Analyzing Functional Coverage in Bounded Model Checking. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. Search on Bibsonomy ECBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Daniel Große, Ulrich Kühne, Rolf Drechsler Estimating functional coverage in bounded model checking. Search on Bibsonomy DATE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Shujun Deng, Weimin Wu, Jinian Bian Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving. Search on Bibsonomy CSCWD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Erika Ábrahám, Tobias Schubert 0001, Bernd Becker 0001, Martin Fränzle, Christian Herde Parallel SAT Solving in Bounded Model Checking. Search on Bibsonomy FMICS/PDMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Xiangyu Luo, Kaile Su, Abdul Sattar 0001, Mark Reynolds 0001 Verification of Multi-agent Systems Via Bounded Model Checking. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF temporal epistemic logic, bounded semantics, multi-agent systems, bounded model checking
40Anubhav Gupta 0001, Ofer Strichman Abstraction Refinement for Bounded Model Checking. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Malay K. Ganai, Aarti Gupta, Pranav Ashar Verification of Embedded Memory Systems using Efficient Memory Modeling. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Maciej Szreter Selective Search in Bounded Model Checking of Reachability Properties. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Malay K. Ganai, Aarti Gupta, Pranav Ashar DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Erika Ábrahám, Bernd Becker 0001, Felix Klaedtke, Martin Steffen Optimizing Bounded Model Checking for Linear Hybrid Systems. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Aarti Gupta, Malay K. Ganai, Pranav Ashar Lazy Constraints and SAT Heuristics for Proof-Based Abstraction. Search on Bibsonomy VLSI Design The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Malay K. Ganai, Aarti Gupta, Pranav Ashar Beyond safety: customized SAT-based model checking. Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF circuit cofactoring, unbounded model checking, formal verification, SAT, liveness, bounded model checking, LTL
40Xiangyu Luo, Kaile Su, Abdul Sattar 0001, Qingliang Chen, Guanfeng Lv Bounded model checking knowledge and branching time in synchronous multi-agent systems. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bounded semantics, temporal epistemic logic, translation to SAT, bounded model checking
40Per Bjesse, James H. Kukula Using Counter Example Guided Abstraction Refinement to Find Complex Bugs. Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Andreas Kuehlmann Dynamic transition relation simplification for bounded property checking. Search on Bibsonomy ICCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Vivekananda M. Vedula, Whitney J. Townsend, Jacob A. Abraham Program Slicing for ATPG-Based Property Checking. Search on Bibsonomy VLSI Design The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Chao Wang 0001, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi Refining the SAT decision ordering for bounded model checking. Search on Bibsonomy DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF decision heuristic, SAT, bounded model checking
40Ohad Shacham, Emmanuel Zarpas Tuning the VSIDS Decision Heuristic for Bounded Model Checking. Search on Bibsonomy MTV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Gianpiero Cabodi, Sergio Nocco, Stefano Quer Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals. Search on Bibsonomy DATE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Bozena Wozna, Andrzej Zbrzezny Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking. Search on Bibsonomy FORMATS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Per Bjesse Industrial Model Checking Based on Satisfiability Solvers. Search on Bibsonomy SPIN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani Improving the Encoding of LTL Model Checking into SAT. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Max H. Garzon, Chris Oehmen Biomolecular Computation in Virtual Test Tubes. Search on Bibsonomy DNA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
40Ofer Strichman Pruning Techniques for the SAT-Based Bounded Model Checking Problem. Search on Bibsonomy CHARME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Malay K. Ganai, Aarti Gupta Efficient Modeling of Concurrent Systems in BMC. Search on Bibsonomy SPIN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Israel Gat How BMC is Scaling Agile Development. Search on Bibsonomy AGILE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30V. G. Vinod Vydiswaran, Yaoyun Zhang, Yanshan Wang, Hua Xu 0001 Special issue of BMC medical informatics and decision making on health natural language processing. Search on Bibsonomy BMC Medical Informatics Decis. Mak. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
30Claudia Angelini, Andrea Bracciali, David Gilbert, Riccardo Rizzo Preface to the BMC-CIBB 2015-16 special issue. Search on Bibsonomy BMC Bioinform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
30Dirk Krüger BMC Bioinformatics reviewer acknowledgement 2015. Search on Bibsonomy BMC Bioinform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
30Giulia Mangiameli BMC Medical Informatics and Decision Making reviewer acknowledgement 2015. Search on Bibsonomy BMC Medical Informatics Decis. Mak. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
30Clare Partridge BMC Medical Imaging reviewer acknowledgement 2015. Search on Bibsonomy BMC Medical Imaging The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
30Irene Pala BMC Bioinformatics reviewer acknowledgement 2014. Search on Bibsonomy BMC Bioinform. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
30Giulia Mangiameli BMC Medical Informatics and Decision Making reviewer acknowledgement 2014. Search on Bibsonomy BMC Medical Informatics Decis. Mak. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
30Clare Partridge BMC Medical Imaging reviewer acknowledgement 2014. Search on Bibsonomy BMC Medical Imaging The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
30Alexandre Kuhn Correspondence regarding Zhong et al., BMC Bioinformatics 2013 Mar 7;14: 89. Search on Bibsonomy BMC Bioinform. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
30Irene Pala BMC Medical Informatics and Decision Making. Search on Bibsonomy BMC Medical Informatics Decis. Mak. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
30Michael Retsky Comments on John D. Keen and James E. Keen, What is the point: will screening mammography save my life? BMC Medical Informatics and Decision Making, 2009. Search on Bibsonomy BMC Medical Informatics Decis. Mak. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Oscar M. Rueda, Ramón Díaz-Uriarte A response to Yu et al. "A forward-backward fragment assembling algorithm for the identification of genomic amplification and deletion breakpoints using high-density single nucleotide polymorphism (SNP) array", BMC Bioinformatics 2007, 8: 145. Search on Bibsonomy BMC Bioinform. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Matt J. Hodgkinson, Penelope A. Webb A system for success: BMC Systems Biology, a new open access journal. Search on Bibsonomy BMC Syst. Biol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Ofer Strichman, Armin Biere (eds.) Proceedings of the Fourth International Workshop on Bounded Model Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006 Search on Bibsonomy BMC@FLoC The full citation details ... 2007 DBLP  BibTeX  RDF
30Armin Biere, Ofer Strichman (eds.) Proceedings of the Third International Workshop on Bounded Model Checking, BMC@CAV 2005, Edinburgh, UK, July 11, 2005 Search on Bibsonomy BMC@CAV The full citation details ... 2006 DBLP  BibTeX  RDF
30João Marques-Silva 0001 Interpolant Learning and Reuse in SAT-Based Model Checking. Search on Bibsonomy BMC@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Erika Ábrahám, Marc Herbstritt, Bernd Becker 0001, Martin Steffen Bounded Model Checking with Parametric Data Structures. Search on Bibsonomy BMC@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Ofer Strichman, Armin Biere Preface. Search on Bibsonomy BMC@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Xuandong Li, Sumit Jha Aanand, Lei Bu Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. Search on Bibsonomy BMC@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Paul B. Jackson, Daniel Sheridan A Compact Linear Translation for Bounded Model Checking. Search on Bibsonomy BMC@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Matthew J. Cockerill BMC Bioinformatics comes of age. Search on Bibsonomy BMC Bioinform. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Armin Biere, Ofer Strichman (eds.) Proceedings of the 2nd International Workshop on Bounded Model Checking, BMC@CAV 2004, Boston, MA, USA, July 18, 2004 Search on Bibsonomy BMC@CAV The full citation details ... 2005 DBLP  BibTeX  RDF
30Armin Biere, Ofer Strichman Preface. Search on Bibsonomy BMC@CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Ohad Shacham, Karen Yorav Adaptive Application of SAT Solving Techniques. Search on Bibsonomy BMC@CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Mohammad Awedh, Fabio Somenzi Termination Criteria for Bounded Model Checking: Extensions and Comparison. Search on Bibsonomy BMC@CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Markus Jehle, Jan Johannsen, Martin Lange, Nicolas Rachinsky Bounded Model Checking for All Regular Properties. Search on Bibsonomy BMC@CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Anders Franzén Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs. Search on Bibsonomy BMC@CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Daniel Kroening Computing Over-Approximations with Bounded Model Checking. Search on Bibsonomy BMC@CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi, Sergio Nocco, Stefano Quer Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking. Search on Bibsonomy BMC@CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi SAT-based Induction for Temporal Safety Properties. Search on Bibsonomy BMC@CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Daniel Sheridan Bounded Model Checking with SNF, Alternating Automata, and Bu"chi Automata. Search on Bibsonomy BMC@CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30HoonSang Jin, Fabio Somenzi An Incremental Algorithm to Check Satisfiability for Bounded Model Checking. Search on Bibsonomy BMC@CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Armin Biere, Ofer Strichman Preface. Search on Bibsonomy BMC@CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani Verifying Industrial Hybrid Systems with MathSAT. Search on Bibsonomy BMC@CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Ofer Strichman, Armin Biere (eds.) First International Workshop on Bounded Model Checking, BMC@CAV 2003, Boulder, Colorado, USA, July 13, 2003 Search on Bibsonomy BMC@CAV The full citation details ... 2003 DBLP  BibTeX  RDF
30Zurab Khasidashvili, Ziyad Hanna SAT-based methods for sequential hardware equivalence verification without synchronization. Search on Bibsonomy BMC@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 19409 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license