Search results for "Counterexamples"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Chia-Chih Yen, Jing-Yang Jou	An Optimum Algorithm for Compacting Error Traces for Efficient Design Error Debugging.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	simulation, Verification, diagnosis, satisfiability, error checking
11	Josep Maria Font, Ramon Jansana, Don Pigozzi	On the Closure Properties of the Class of Full G-models of a Deductive System.	Stud Logica	2006	DBLP DOI BibTeX RDF	Leibniz congruence, Tarski congruence, generalized matrix, full generalized model, fully adequate Gentzen system, algebraizable logic, abstract algebraic logic, protoalgebraic logic
11	Naveen Sharma, Padmaja Joshi, Rushikesh K. Joshi	Applicability of Weyuker's Property 9 to Object Oriented Metrics.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Weyuker's properties, interaction complexity, Software metrics, object oriented design
11	Aditya Ramamoorthy, Kamal Jain, Philip A. Chou, Michelle Effros	Separating distributed source coding from network coding.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF	multicast, network coding, separation, distributed source coding
11	Tevfik Bultan, Constance L. Heitmeyer	Analyzing tabular requirements specifications using infinite state model checking.	MEMOCODE	2006	DBLP DOI BibTeX RDF
11	Byron Cook, Andreas Podelski, Andrey Rybalchenko	Terminator: Beyond Safety.	CAV	2006	DBLP DOI BibTeX RDF
11	Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala	Bounded Model Checking for Weak Alternating Büchi Automata.	CAV	2006	DBLP DOI BibTeX RDF	Weak Alternating Büchi Automata, Bounded Model Checking, PSL, NuSMV
11	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang 0001	Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.	CAV	2006	DBLP DOI BibTeX RDF
11	Kazuhiro Ogata 0001, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi	Induction-Guided Falsification.	ICFEM	2006	DBLP DOI BibTeX RDF	observational transition system (OTS), invariant, induction, counterexample, Maude, CafeOBJ
11	Ji Wang 0001, Xiaodong Yi 0002, Xuejun Yang	Towards a Framework for Scalable Model Checking of Concurrent C Programs.	ISoLA	2006	DBLP DOI BibTeX RDF
11	Nader H. Bshouty, Ehab Wattad	On Exact Learning Halfspaces with Random Consistent Hypothesis Oracle.	ALT	2006	DBLP DOI BibTeX RDF
11	Stefan Edelkamp, Shahid Jabbar	Large-Scale Directed Model Checking LTL.	SPIN	2006	DBLP DOI BibTeX RDF
11	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-Order Reduction for General State Exploring Algorithms.	SPIN	2006	DBLP DOI BibTeX RDF
11	Westley Weimer	Patches as better bug reports.	GPCE	2006	DBLP DOI BibTeX RDF	localization, error, explanation, patch, bug, counterexample, bug report
11	Shujun Deng, Weimin Wu, Jinian Bian	Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving.	CSCWD (Selected Papers)	2006	DBLP DOI BibTeX RDF
11	Erika Ábrahám, Tobias Schubert 0001, Bernd Becker 0001, Martin Fränzle, Christian Herde	Parallel SAT Solving in Bounded Model Checking.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
11	Jeff Kramer	Component-Based Modeling, Analysis and Animation.	CCGRID	2006	DBLP DOI BibTeX RDF
11	Javier Esparza, Stefan Kiefer, Stefan Schwoon	Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems.	TACAS	2006	DBLP DOI BibTeX RDF
11	Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler	Automatic Fault Localization for Property Checking.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
11	Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia	Detecting Design Flaws in UML State Charts for Embedded Software.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
11	Wolf Zimmermann, Michael Schaarschmidt	Automatic Checking of Component Protocols in Component-Based Systems.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
11	Orna Kupferman, Sarai Sheinvald-Faragy	Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words.	CONCUR	2006	DBLP DOI BibTeX RDF
11	Stefan Leue, Alin Stefanescu, Wei Wei 0015	A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems.	CONCUR	2006	DBLP DOI BibTeX RDF
11	Byron Cook, Daniel Kroening, Natasha Sharygina	Over-Approximating Boolean Programs with Unbounded Thread Creation.	FMCAD	2006	DBLP DOI BibTeX RDF
11	Aleksandrs Belovs	Non-intersecting Complexity.	SOFSEM	2006	DBLP DOI BibTeX RDF
11	Kuntal Nanshi, Fabio Somenzi	Guiding simulation with increasingly refined abstract traces.	DAC	2006	DBLP DOI BibTeX RDF	simulation, model checking, abstraction refinement
11	Xiushan Feng, Alan J. Hu	Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification.	DAC	2006	DBLP DOI BibTeX RDF	cutpoints, formal equivalence checking, software, RTL
11	Dimiter Vakarelov	Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.	Stud Logica	2005	DBLP DOI BibTeX RDF	Nelson negation, subminimal logic, counterexample semantics, many-valued logics
11	Leo Egghe	The share of items of highly productive sources as a function of the size of the system.	Scientometrics	2005	DBLP DOI BibTeX RDF
11	Dan Butnariu, Erich-Peter Klement, Radko Mesiar, Mirko Navara	Sufficient triangular norms in many-valued logics with standard negation.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Sufficient t-norm, Involutive negation, Admissible function, t-norm-based tribe, Many-valued logic
11	Toshiji Kawagoe, Shihomi Wada	A Counterexample for the Bullwhip Effect: Gaming and Multiagent Simulations.	JSAI Workshops	2005	DBLP DOI BibTeX RDF	Beer Game, Supply chain, multiagent simulation, bullwhip effect
11	Dino Distefano	A Parametric Model for the Analysis of Mobile Ambients.	APLAS	2005	DBLP DOI BibTeX RDF
11	Hans Tompits, Stefan Woltran	Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming.	ICLP	2005	DBLP DOI BibTeX RDF
11	Endre Szemerédi, Andrzej Rucinski 0001, Vojtech Rödl	The Generalization of Dirac's Theorem for Hypergraphs.	MFCS	2005	DBLP DOI BibTeX RDF
11	Guangrui Wen, Liangsheng Qu, Xining Zhang	A Rapid Response Intelligent Diagnosis Network Using Radial Basis Function Network.	ISNN (3)	2005	DBLP DOI BibTeX RDF
11	Fangfang Wu, Yinliang Zhao, Zefei Jiang	A Novel Parallel Reduced Support Vector Machine.	ICNC (1)	2005	DBLP DOI BibTeX RDF
11	Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001	Data-Abstraction Refinement: A Game Semantic Approach.	SAS	2005	DBLP DOI BibTeX RDF
11	Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar	Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking.	TACAS	2005	DBLP DOI BibTeX RDF
11	Songtao Xia, Ben Di Vito, César A. Muñoz	Automated test generation for engineering applications.	ASE	2005	DBLP DOI BibTeX RDF	model-checking, test case generation, predicate abstraction
11	Christoph Csallner, Yannis Smaragdakis	Check 'n' crash: combining static checking and testing.	ICSE	2005	DBLP DOI BibTeX RDF	usability, static analysis, dynamic analysis, automatic testing, test case generation, extended static checking
11	Marsha Chechik, Arie Gurfinkel	A Framework for Counterexample Generation and Exploration.	FASE	2005	DBLP DOI BibTeX RDF
11	Gholamreza B. Khosrovshahi, Behruz Tayfeh-Rezaie	Some Indecomposable t-Designs.	Des. Codes Cryptogr.	2004	DBLP DOI BibTeX RDF	indecomposable designs, large sets of t-designs, disjoint designs, t-designs
11	Edmund M. Clarke, Anubhav Gupta 0001, Ofer Strichman	SAT-based counterexample-guided abstraction refinement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
11	Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente	Directed explicit-state model checking in the validation of communication protocols.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Directed search, Protocol validation
11	HoonSang Jin, Kavita Ravi, Fabio Somenzi	Fate and free will in error traces.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Reachability game, Model checking, Counterexample
11	Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente	Partial-order reduction and trail improvement in directed model checking.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Trail improvement, HSF-SPIN, Model checking, Heuristic search, Partial-order reduction
11	Christian Schindelhauer, Klaus Volbert, Martin Ziegler 0001	Spanners, Weak Spanners, and Power Spanners for Wireless Networks.	ISAAC	2004	DBLP DOI BibTeX RDF
11	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina	Automated, compositional and iterative deadlock detection.	MEMOCODE	2004	DBLP DOI BibTeX RDF
11	Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar	Abstract Regular Model Checking.	CAV	2004	DBLP DOI BibTeX RDF
11	Mathew A. Sacker, Andrew D. Brown, Peter R. Wilson, Andrew J. Rushton	A General Purpose Behavioural Asynchronous Synthesis System.	ASYNC	2004	DBLP DOI BibTeX RDF	Behavioural synthesis, asynchronous synthesis, cryptography
11	Kairong Qian, Albert Nymeyer	Abstraction-Based Model Checking Using Heuristical Refinement.	ATVA	2004	DBLP DOI BibTeX RDF
11	Atsushi Moritomo, Kiyoharu Hamaguchi, Toshinobu Kashiwabara	Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas.	ATVA	2004	DBLP DOI BibTeX RDF
11	Sarut Vanichpun, Armand M. Makowski	The output of a cache under the independent reference model: where did the locality of reference go?	SIGMETRICS	2004	DBLP DOI BibTeX RDF	output of a cache, popularity, majorization, locality of reference
11	Kyle Barger	Condemned to repeat history: lessons I'm still learning.	SIGUCCS	2004	DBLP DOI BibTeX RDF	historical perspective, service standards, teaching, change, centralization
11	Mila Dalla Preda	Completeness Refinement in Abstract Symbolic Trajectory Evaluation.	SAS	2004	DBLP DOI BibTeX RDF	Domain Refinement, Model-checking, Verification, Abstract Interpretation, Completeness, Data Flow Analysis, Symbolic Trajectory Evaluation
11	Kavita Ravi, Fabio Somenzi	Minimal Assignments for Bounded Model Checking.	TACAS	2004	DBLP DOI BibTeX RDF
11	Mana Taghdiri	Inferring Specifications to Detect Errors in Code.	ASE	2004	DBLP DOI BibTeX RDF
11	Nina Amla, Kenneth L. McMillan	A Hybrid of Counterexample-Based and Proof-Based Abstraction.	FMCAD	2004	DBLP DOI BibTeX RDF
11	Kenneth L. McMillan	Applications of Craig Interpolation to Model Checking.	CSL	2004	DBLP DOI BibTeX RDF
11	Zaher S. Andraus, Karem A. Sakallah	Automatic abstraction and verification of verilog models.	DAC	2004	DBLP DOI BibTeX RDF	UCLID, logic of counter arithmetic with lambda expressions and uninter-preted functions (CLU), abstraction, register transfer level (RTL), verilog
11	Grégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby	Generating Efficient Test Sets with a Model Checker.	SEFM	2004	DBLP DOI BibTeX RDF
11	Pawel Waszkiewicz	Quantitative Continuous Domains.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	partial metric, algebraic dcpo, quantitative domain theory, measurement, domain
11	Laurence E. LaForge, Kirk F. Korver, M. Sami Fadali	What Designers of Bus and Network Architectures Should Know about Hypercubes.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Hypercube fault tolerance, hypercube latency, Hamming graphs, K-cubes, Moore graphs, Moore Bound, C-cubes, performability, quorums, configuration architectures, Lee distance
11	Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster	Scalable distributed on-the-fly symbolic model checking.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Distributed, Memory, BDDs, Counterexample
11	Orna Kupferman, Moshe Y. Vardi	Vacuity detection in temporal model checking.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Vacuous satisfaction, Model checking
11	Michael Damm	On the Existence of Totally Anti-Symmetric Quasigroups of Order 4 k+2.	Computing	2003	DBLP DOI BibTeX RDF	Classification 05B15 orthogonal arrays, room squares, 20N05 loops, quasigroups, 94B60 other types of codes, latin squares
11	Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang	High Level Verification of Control Intensive Systems Using Predicate Abstraction.	MEMOCODE	2003	DBLP DOI BibTeX RDF
11	Kenneth L. McMillan	Methods for exploiting SAT solvers in unbounded model checking.	MEMOCODE	2003	DBLP DOI BibTeX RDF
11	Aarti Gupta, Malay K. Ganai, Chao Wang 0001, Zijiang Yang 0006, Pranav Ashar	Abstraction and BDDs Complement SAT-Based BMC in DiVer.	CAV	2003	DBLP DOI BibTeX RDF
11	Carsten Schürmann, Frank Pfenning	A Coverage Checking Algorithm for LF.	TPHOLs	2003	DBLP DOI BibTeX RDF
11	Didier Dubois, Henri Prade, Thomas A. Sudkamp	A Discussion of Indices for the Evaluation of Fuzzy Associations in Relational Databases.	IFSA	2003	DBLP DOI BibTeX RDF
11	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Counterexample-Guided Control.	ICALP	2003	DBLP DOI BibTeX RDF
11	Vadim E. Levit, Eugen Mandrescu	On Unimodality of Independence Polynomials of Some Well-Covered Trees.	DMTCS	2003	DBLP DOI BibTeX RDF
11	Edmund M. Clarke	SAT-Based Counterexample Guided Abstraction Refinement in Model Checking.	CADE	2003	DBLP DOI BibTeX RDF
11	Giorgio C. Buttazzo	Rate Monotonic vs. EDF: Judgment Day.	EMSOFT	2003	DBLP DOI BibTeX RDF
11	Chao Wang 0001, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi	Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement.	ICCAD	2003	DBLP DOI BibTeX RDF
11	Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu	Learning Assumptions for Compositional Verification.	TACAS	2003	DBLP DOI BibTeX RDF
11	Hyoung Seok Hong, Sung Deok Cha, Insup Lee 0001, Oleg Sokolsky, Hasan Ural	Data Flow Testing as Model Checking.	ICSE	2003	DBLP DOI BibTeX RDF
11	Andreas Podelski	Software Model Checking with Abstraction Refinement.	VMCAI	2003	DBLP DOI BibTeX RDF
11	Edmund M. Clarke, Anubhav Gupta 0001, James H. Kukula, Ofer Strichman	SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques.	CAV	2002	DBLP DOI BibTeX RDF
11	Nader H. Bshouty, Dmitry Gavinsky	PAC = PAExact and Other Equivalent Models in Learning.	FOCS	2002	DBLP DOI BibTeX RDF
11	Per Bjesse	Industrial Model Checking Based on Satisfiability Solvers.	SPIN	2002	DBLP DOI BibTeX RDF
11	Edmund M. Clarke	SAT-Based Counterexample Guided Abstraction Refinement.	SPIN	2002	DBLP DOI BibTeX RDF
11	Alessandra Russo, Rob Miller 0002, Bashar Nuseibeh, Jeff Kramer	An Abductive Approach for Analysing Event-Based Requirements Specifications.	ICLP	2002	DBLP DOI BibTeX RDF
11	Christian Ronse	Flat Morphological Operatorson Arbitrary Power Lattices.	Theoretical Foundations of Computer Vision	2002	DBLP DOI BibTeX RDF
11	Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea	Lazy Theorem Proving for Bounded Model Checking over Infinite Domains.	CADE	2002	DBLP DOI BibTeX RDF
11	Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero	Improving the Verification of Timed Systems Using Influence Information.	TACAS	2002	DBLP DOI BibTeX RDF
11	HoonSang Jin, Kavita Ravi, Fabio Somenzi	Fate and Free Will in Error Traces.	TACAS	2002	DBLP DOI BibTeX RDF
11	Hyoung Seok Hong, Insup Lee 0001, Oleg Sokolsky, Hasan Ural	A Temporal Logic Based Theory of Test Coverage and Generation.	TACAS	2002	DBLP DOI BibTeX RDF
11	Nader H. Bshouty, Jeffrey C. Jackson, Christino Tamon	Exploring Learnability between Exact and PAC.	COLT	2002	DBLP DOI BibTeX RDF
11	Paula Severi, Fer-Jan de Vries	An Extensional Böhm Model.	RTA	2002	DBLP DOI BibTeX RDF
11	Pankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang	Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis.	FMCAD	2002	DBLP DOI BibTeX RDF
11	Maribel Fernández, Paula Severi	An Operational Approach to Program Extraction in the Calculus of Constructions.	LOPSTR	2002	DBLP DOI BibTeX RDF
11	Satoshi Matsumoto, Takayoshi Shoudai, Tetsuhiro Miyahara, Tomoyuki Uchida	Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
11	Hans Zantema	The Termination Hierarchy for Term Rewriting.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Monotone algebras, Termination, Term rewriting, String rewriting
11	Raphaël Féraud, Olivier Bernier, Jean-Emmanuel Viallet, Michel Collobert	A Fast and Accurate Face Detector Based on Neural Networks.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	Combination of models, neural networks, machine learning, face detection, projection, generative models
11	Emo Welzl	Entering and Leaving j-Facets.	Discret. Comput. Geom.	2001	DBLP DOI BibTeX RDF
11	K. Rustan M. Leino	Extended Static Checking: A Ten-Year Perspective.	Informatics	2001	DBLP DOI BibTeX RDF
11	Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez	A Certified Polynomial-Based Decision Procedure for Propositional Logic.	TPHOLs	2001	DBLP DOI BibTeX RDF
11	Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue	Directed Explicit Model Checking with HSF-SPIN.	SPIN	2001	DBLP DOI BibTeX RDF