The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1959-1979 (15) 1980-1985 (15) 1987-1990 (16) 1991-1993 (25) 1994-1996 (26) 1997-1998 (23) 1999 (18) 2000-2001 (25) 2002 (20) 2003 (39) 2004 (45) 2005 (55) 2006 (51) 2007 (67) 2008 (64) 2009 (36) 2010 (35) 2011 (21) 2012 (26) 2013 (26) 2014 (26) 2015 (25) 2016 (19) 2017 (36) 2018 (28) 2019 (17) 2020 (24) 2021 (37) 2022 (27) 2023 (29) 2024 (7)
Publication types (Num. hits)
article(420) incollection(3) inproceedings(496) phdthesis(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 310 occurrences of 221 keywords

Results
Found 923 publication records. Showing 923 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
77Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar Counterexample-Guided Control. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
77Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
67Nina Amla, Kenneth L. McMillan A Hybrid of Counterexample-Based and Proof-Based Abstraction. Search on Bibsonomy FMCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
61Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler Explaining Counterexamples Using Causality. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
57ShengYu Shen, Ying Qin, Sikun Li A Faster Counterexample Minimization Algorithm Based on Refutation Analysis. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Edmund M. Clarke, Anubhav Gupta 0001, Ofer Strichman SAT-based counterexample-guided abstraction refinement. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
57Edmund M. Clarke SAT-Based Counterexample Guided Abstraction Refinement. Search on Bibsonomy SPIN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
52Kazuhiro Ogata 0001, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi Induction-Guided Falsification. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF observational transition system (OTS), invariant, induction, counterexample, Maude, CafeOBJ
52Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster Scalable distributed on-the-fly symbolic model checking. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Distributed, Memory, BDDs, Counterexample
51Sumit Kumar Jha 0001, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. Search on Bibsonomy HSCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
51Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen Automatic Abstraction Refinement for Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
51Byron Cook, Andreas Podelski, Andrey Rybalchenko Abstraction Refinement for Termination. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
51Paul Gastin, Pierre Moro, Marc Zeitoun Minimization of Counterexamples in SPIN. Search on Bibsonomy SPIN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Ralf Wimmer 0001, Bettina Braitling, Bernd Becker 0001 Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
47Goran Frehse, Sumit Kumar Jha 0001, Bruce H. Krogh A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. Search on Bibsonomy HSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Gabriel Mihai Lipsa, Nuno C. Martins Finite horizon optimal memoryless control of a delay in Gaussian noise: A simple counterexample. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Junhua Zhang, Zhiqiu Huang, Zining Cao, Fangxiong Xiao Counterexample Generation for Probabilistic Timed Automata Model Checking. Search on Bibsonomy CSSE (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Marsha Chechik, Arie Gurfinkel A framework for counterexample generation and exploration. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47ShengYu Shen, Ying Qin, Sikun Li A fast counterexample minimization approach with refutation analysis and incremental SAT. Search on Bibsonomy ASP-DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
47ShengYu Shen, Ying Qin, Sikun Li Minimizing Counterexample with Unit Core Extraction and Incremental SAT. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
47ShengYu Shen, Ying Qin, Sikun Li Localizing Errors in Counterexample with Iteratively Witness Searching. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Jinbiao Wang, Shu Qin The Research on Two Important Counter-Examples of Four-Color Problem. Search on Bibsonomy IITSI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Tait conjecture, Kempe's chains, Heawood-counterexample, Tutte-counterexample, two-level Hamilton cycle
41Mana Taghdiri, Daniel Jackson 0001 Inferring specifications to detect errors in code. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Modular abstraction, Counterexample-guided abstraction refinement, Bounded program verification, SAT, Alloy, Specification inference
41Dimiter Vakarelov Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Nelson negation, subminimal logic, counterexample semantics, many-valued logics
41Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha 0001 Concurrent software verification with states, events, and deadlocks. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Concurrent software, States and events, Counterexample-guided abstraction refinement, Model checking, Temporal logic, Deadlock, Compositional reasoning
41Tachio Terauchi Dependent types from counterexamples. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF interpolation, type inference, dependent types, counterexamples, intersection types
41Matthias Schmalz, Daniele Varacca, Hagen Völzer Counterexamples in Probabilistic LTL Model Checking for Markov Chains. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
41Ken-ichi Kawarabayashi, Bruce A. Reed Hadwiger's conjecture is decidable. Search on Bibsonomy STOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Hadwiger's conjecture, the four color theorem
41Tsutomu Kumazawa, Tetsuo Tamai Iterative Model Fixing with Counterexamples. Search on Bibsonomy APSEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Sanjay Jain 0001, Efim B. Kinber Learning Languages from Positive Data and Negative Counterexamples. Search on Bibsonomy ALT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Edmund M. Clarke, Helmut Veith Counterexamples Revisited: Principles, Algorithms, Applications. Search on Bibsonomy Verification: Theory and Practice The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Edmund M. Clarke, Anubhav Gupta 0001, James H. Kukula, Ofer Strichman SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
41Dexter Kozen, Shmuel Zaks Optimal Bounds for the Change-Making Problem. Search on Bibsonomy ICALP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
38Marc Segelken Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF automata construction, counterexample guidance, iterative abstraction refinement, step-discrete hybrid systems, model-checking
37Tingting Han 0001, Joost-Pieter Katoen, Berteun Damman Counterexample Generation in Probabilistic Model Checking. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
37Constantin Enea Counterexample Guided Abstraction Refinement is Better under Equational Abstraction. Search on Bibsonomy ECBS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF equational abstraction, CEGAR, verification, refinement
37Pulkit Grover, Anant Sahai A vector version of witsenhausen's counterexample: A convergence of control, communication and computation. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Tamer Basar Variations on the theme of the Witsenhausen counterexample. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv Abstract Counterexample-Based Refinement for Powerset Domains. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Barbara König 0001, Vitali Kozioura Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37ShengYu Shen, Ying Qin, Sikun Li Minimizing Counterexample of ACTL Property. Search on Bibsonomy CHARME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Toshiji Kawagoe, Shihomi Wada The Bullwhip Effect: A Counterexample. Search on Bibsonomy IAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Beer Game, Supply chain, multiagent simulation, bullwhip effect
37Marsha Chechik, Arie Gurfinkel A Framework for Counterexample Generation and Exploration. Search on Bibsonomy FASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue Heuristic-guided counterexample search in FLAVERS. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF FLAVERS, heuristic search, counterexamples
37Edmund M. Clarke SAT-Based Counterexample Guided Abstraction Refinement in Model Checking. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Kazuhiro Ogata 0001, Kokichi Futatsugi Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF lockout freedom property, mutual exclusion property, model checking, rewriting logic, counterexample
31Ranjit Jhala, Rupak Majumdar Path slicing. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF counterexample analysis, program slicing
31Gihwon Kwon Applying Model Checking Techniques to Game Solving. Search on Bibsonomy SERA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF game solving, Model checking, counterexample, state explosion problem
31Tomoya Horiguchi, Tsukasa Hirashima The Role of Counterexamples in Discovery Learning Environment: Awareness of the Chance for Learning. Search on Bibsonomy JSAI Workshops The full citation details ... 2001 DBLP  DOI  BibTeX  RDF discovery learning environment, simulation, education, counterexample, CAI
30Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman Error explanation with distance metrics. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Error explanation, Model checking, Fault localization, Automated debugging
30Chao Wang 0001, Zijiang Yang 0006, Franjo Ivancic, Aarti Gupta Whodunit? Causal Analysis for Counterexamples. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Orna Kupferman, Sarai Sheinvald-Faragy Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Sriram K. Rajamani Automatic Property Checking for Software: Past, Present and Future. Search on Bibsonomy ASE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Kavita Ravi, Fabio Somenzi Minimal Assignments for Bounded Model Checking. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Alex Groce Error Explanation with Distance Metrics. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang SAT Based Predicate Abstraction for Hardware Verification. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Jean-Marie Le Bars The 0-1 law fails for frame satisfiability of propositional modal logic. Search on Bibsonomy LICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Computational Complexity, Finite Model Theory, Modal and Temporal Logics
30Desh Ranjan, Suresh Chari, Pankaj Rohatgi Improving Known Solutions is Hard. Search on Bibsonomy ICALP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
27Philippe Langevin, Gregor Leander, Gary McGuire A Counterexample to a Conjecture of Niho. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Paul Gastin, Pierre Moro Minimal Counterexample Generation for SPIN. Search on Bibsonomy SPIN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Fei He 0001, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001 Effective heuristics for counterexample-guided abstraction refinement. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF model checking, verification, heuristics, SoC, abstraction
27Y.-H. Kim A Counterexample to Cover's 2P Conjecture on Gaussian Feedback Capacity. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Fei He 0001, Xiaoyu Song, Ming Gu 0001, Jia-Guang Sun 0001 A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Bhargav S. Gulavani, Sriram K. Rajamani Counterexample Driven Refinement for Abstract Interpretation. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Haibin Kan, Hong Shen 0001 A counterexample for the open problem on the minimal delays of orthogonal designs with maximal rates. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha 0001, Bruce H. Krogh Refining Abstractions of Hybrid Systems Using Counterexample Fragments. Search on Bibsonomy HSCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Toshiji Kawagoe, Shihomi Wada A Counterexample for the Bullwhip Effect: Gaming and Multiagent Simulations. Search on Bibsonomy JSAI Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Beer Game, Supply chain, multiagent simulation, bullwhip effect
27Daniel Kroening, Alex Groce, Edmund M. Clarke Counterexample Guided Abstraction Refinement Via Program Execution. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Robert Meolic, Alessandro Fantechi, Stefania Gnesi Witness and Counterexample Automata for ACTL. Search on Bibsonomy FORTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Pranava K. Jha A Counterexample to Tang and Padubidri's Claim about the Bisection Width of a Diagonal Mesh. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Diagonal mesh, bisection width
27Daniel Jackson 0001, Craig Damon Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF model checking, formal specification, software design, Z notation, Abstract modeling, exhaustive testing
27Daniel Jackson 0001, Craig Damon Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. Search on Bibsonomy ISSTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
21Muhammad-Naeem Irfan State Machine Inference in Testing Context with Long Counterexamples. Search on Bibsonomy ICST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF state machine inference, finite state machine, black box, counterexample
21Liping Li, Huaikou Miao, Shengbo Chen Test Generation for Web Applications Using Model-Checking. Search on Bibsonomy SNPD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF test deduction rule, model checking, Web application, test cases, styling, counterexample
21Ranjit Jhala, Rupak Majumdar Software model checking. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF counterexample-guided refinement, enumerative and symbolic model checking, abstraction, safety, liveness, Software model checking
21Tomoya Horiguchi, Tsukasa Hirashima Domain-Independent Error-Based Simulation for Error-Awareness and Its Preliminary Evaluation. Search on Bibsonomy PRICAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF simulation-based learning environment, learner’s error, intelligent tutoring system, counterexample, truth maintenance system
21Manoranjan Satpathy, S. Ramesh 0002 Test case generation from formal models through abstraction refinement and model checking. Search on Bibsonomy A-MOST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF counterexample guided abstraction refinement, model based testing, B-method
21James Cheney, Alberto Momigliano Mechanized metatheory model-checking. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF counterexample search, model checking, nominal logic
21Westley Weimer Patches as better bug reports. Search on Bibsonomy GPCE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF localization, error, explanation, patch, bug, counterexample, bug report
21Dana N. Xu Extended static checking for haskell. Search on Bibsonomy Haskell The full citation details ... 2006 DBLP  DOI  BibTeX  RDF counterexample guided unrolling, pre/postcondition, symbolic simplification
21Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar Joining dataflow with predicates. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF counterexample analysis, model checking, dataflow analysis, predicate abstraction
21Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond Counter-example generation in symbolic abstract model-checking. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Concrete counterexample, Model-checking, Abstraction, Test pattern generation
21HoonSang Jin, Kavita Ravi, Fabio Somenzi Fate and free will in error traces. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Reachability game, Model checking, Counterexample
21Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan Abstractions from proofs. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF counterexample analysis, software model checking, predicate abstraction
21Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi Efficient debugging in a formal verification environment. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Counter-example, Model checking, Counterexample
21Gordon D. Plotkin Three Inadequate Models. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Full abstraction, Counterexample, PCF, Adequacy
20Tetsuo Hasegawa, Yoshiaki Fukazawa Model Checking by Generating Observers from an Interface Specification Between Components. Search on Bibsonomy UNISCON The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model cheking, UML, timing diagram
20Joshua D. Guttman Cryptographic Protocol Composition via the Authentication Tests. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Radu Iosif, Adam Rogalewicz Automata-Based Termination Proofs. Search on Bibsonomy CIAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Kenneth L. McMillan, Lenore D. Zuck Abstract Counterexamples for Non-disjunctive Abstractions. Search on Bibsonomy RP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah Reveal: A Formal Verification Tool for Verilog Designs. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík Sketching concurrent data structures. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF concurrency, synthesis, sketching, sat, spin
20Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo A Forward-Backward Abstraction Refinement Algorithm. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Barbara König 0001, Vitali Kozioura Towards the Verification of Attributed Graph Transformation Systems. Search on Bibsonomy ICGT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser 0001 Relating counterexamples to test cases in CTL model checking specifications. Search on Bibsonomy A-MOST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF test coverage criteria, model checking, formal methods, software testing, state machines, counterexamples
20Ranjit Jhala, Kenneth L. McMillan Array Abstractions from Proofs. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Marc Herbstritt, Vanessa Struve, Bernd Becker 0001 Application of Lifting in Partial Design Analysis. Search on Bibsonomy MTV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Tobias Nopper, Christoph Scholl 0001, Bernd Becker 0001 Computation of minimal counterexamples by using black box techniques and symbolic methods. Search on Bibsonomy ICCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 923 (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