Search results for "Checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
54	Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer	Unifying type checking and property checking for low-level code.	POPL	2009	DBLP DOI BibTeX RDF	assertion checking, low-level code, decision procedure, type checking, smt solver, property checking
53	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	New Challenges in Model Checking.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	Logic model checking, grand challenge project, flash file system challenge, software reliability, software verification, software structure
53	E. Allen Emerson	The Beginning of Model Checking: A Personal Perspective.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	model-theoretic, origins, model checking, synthesis, history
52	Rajeev Alur	Model Checking: From Tools to Theory.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
51	Matthias Schmalz, Hagen Völzer, Daniele Varacca	Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths.	FSTTCS	2007	DBLP DOI BibTeX RDF
49	Limor Fix	Fifteen Years of Formal Property Verification in Intel.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	formal property verification, Model checking, formal specification
49	Randal E. Bryant	A View from the Engine Room: Computational Support for Symbolic Model Checking.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
47	Per Bjesse	Industrial Model Checking Based on Satisfiability Solvers.	SPIN	2002	DBLP DOI BibTeX RDF
47	Orna Kupferman, Moshe Y. Vardi	Module Checking.	CAV	1996	DBLP DOI BibTeX RDF
46	Antti Valmari	Software model checking is a rich research field.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Distributed model checking, Directed model checking, Satisfiability, Symbolic execution, Bounded model checking, State space, Partial-order methods
46	Tobias Schüle, Klaus Schneider 0001	Bounded model checking of infinite state systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems
46	Dezhuang Zhang, Rance Cleaveland	Efficient temporal-logic query checking for presburger systems.	ASE	2005	DBLP DOI BibTeX RDF	Presburger systems, on-the-fly symbolic model checking, query checking, model checking, formal methods
46	Hyeong-Ju Kang, In-Cheol Park	SAT-based unbounded symbolic model checking.	DAC	2003	DBLP DOI BibTeX RDF	boolean satisfiability checking, unbounded symbolic model checking, formal verification, symbolic model checking
45	Malay K. Ganai, Aarti Gupta, Pranav Ashar	Beyond safety: customized SAT-based model checking.	DAC	2005	DBLP DOI BibTeX RDF	circuit cofactoring, unbounded model checking, formal verification, SAT, liveness, bounded model checking, LTL
43	Patrice Godefroid, Michael Y. Levin, David A. Molnar	Active property checking.	EMSOFT	2008	DBLP DOI BibTeX RDF	security, software testing, symbolic execution
43	Matthias Kuntz, Markus Siegle	Symbolic Model Checking of Stochastic Systems: Theory and Implementation.	SPIN	2006	DBLP DOI BibTeX RDF	performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems
41	Foto N. Afrati, Phokion G. Kolaitis	Repair checking in inconsistent databases: algorithms and complexity.	ICDT	2009	DBLP DOI BibTeX RDF	coNP-complete problem, equality-generating dependencies, repair checking, tuple-generating dependencies, weakly acyclic set, polynomial time, consistent query answering, inconsistent databases, database repairs
41	Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel	Multi-valued symbolic model-checking.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	?Chek., model-checking, fairness, inconsistency, CTL, multi-valued logic, partiality
41	Patrice Godefroid, Michael Huth 0001	Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics.	LICS	2005	DBLP DOI BibTeX RDF
40	Changrui Yu, Hongwei Wang 0009, Yan Luo	Extended Ontology Model and Ontology Checking Based on Description Logics.	FSKD	2006	DBLP DOI BibTeX RDF
40	Antonín Kucera 0001	On Simulation-Checking with Sequential Systems.	ASIAN	2000	DBLP DOI BibTeX RDF
39	Michel Diaz, Guy Juanole, Jean-Pierre Courtiat	Observer-A Concept for Formal On-Line Validation of Distributed Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	observer concept, formal online validation, self-checking distributed systems design, erroneous behavior detection, observable output level, continuous checking, formal verified model, quasi-self-checking observers, industrial LAN, broadcast service, virtual ring MAC protocol testing, OSI layering management, open system architecture, run-time validation, Petri net based models, layered distributed architectures, formal verification, distributed processing, local area networks, transport protocols, performance measurements, open systems, access protocols, formal description techniques, transport layer, reference, link layer, online operation
39	Liang Xu, Wei Chen 0018, Yanyan Xu 0001, Wenhui Zhang	Improved Bounded Model Checking for the Universal Fragment of CTL.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	model checking algorithm, ACTL, SAT, software verification, bounded model checking
39	Zhi-Hong Tao, Conghua Zhou, Zhong Chen, Lifu Wang	Bounded Model Checking of CTL.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	symbolic model checking, bounded model checking, QBF, CTL*
39	Arie Gurfinkel, Marsha Chechik, Benet Devereux	Temporal Logic Query Checking: A Tool for Model Exploration.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	query checking, TLQSolver, model understanding, model checking, CTL, multi-valued logic
39	Fang Wang, Sofiène Tahar	Language emptiness checking using MDGs.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	MDGs (multiway decision graphs), ROBDDs (reduced ordered binary decision diagrams), büchi automata, formal hardware verification, language emptiness checking, model checking
39	Anthony W. Lin, Philipp Rümmer	Regular Model Checking Revisited.	Model Checking, Synthesis, and Learning	2021	DBLP DOI BibTeX RDF
39	Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi 0001	Model Checking, Synthesis, and Learning.	Model Checking, Synthesis, and Learning	2021	DBLP DOI BibTeX RDF
39	Parosh Aziz Abdulla	Regular Model Checking: Evolution and Perspectives.	Model Checking, Synthesis, and Learning	2021	DBLP DOI BibTeX RDF
39	Sagar Chaki, Arie Gurfinkel	BDD-Based Symbolic Model Checking.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Robert P. Kurshan	Transfer of Model Checking to Industrial Practice.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Natarajan Shankar	Combining Model Checking and Deduction.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Orna Kupferman	Automata Theory and Model Checking.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Patrice Godefroid, Koushik Sen	Combining Model Checking and Testing.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Armin Biere, Daniel Kröning	SAT-Based Model Checking.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Parosh Aziz Abdulla, A. Prasad Sistla, Muralidhar Talupur	Model Checking Parameterized Systems.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith	Introduction to Model Checking.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Gerard J. Holzmann	Explicit-State Model Checking.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska	Model Checking Probabilistic Systems.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	David A. Basin, Cas Cremers, Catherine Meadows 0001	Model Checking Security Protocols.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Julian C. Bradfield, Igor Walukiewicz	The mu-calculus and Model Checking.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Aarti Gupta, Vineet Kahlon, Shaz Qadeer, Tayssir Touili	Model Checking Concurrent Programs.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Kenneth L. McMillan	Interpolation and Model Checking.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Rupak Majumdar, Jean-François Raskin	Symbolic Model Checking in Non-Boolean Domains.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Rajeev Alur, Ahmed Bouajjani, Javier Esparza	Model Checking Procedural Programs.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Dirk Beyer 0001, Sumit Gulwani, David A. Schmidt	Combining Model Checking and Data-Flow Analysis.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell 0001	Model Checking Real-Time Systems.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Rance Cleaveland, A. W. Roscoe 0001, Scott A. Smolka	Process Algebra and Model Checking.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
39	Edmund M. Clarke	The Birth of Model Checking.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
39	Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm	06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
39	Stefan Edelkamp, Stefan Leue, Willem Visser	06172 Executive Summary -- Directed Model Checking.	Directed Model Checking	2006	DBLP BibTeX RDF
39	Stefan Edelkamp, Stefan Leue, Willem Visser	06172 Abstracts Collection -- Directed Model Checking.	Directed Model Checking	2006	DBLP BibTeX RDF
39	Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm	06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
39	Chandrasekhar Boyapati, Paul T. Darga	Efficient Software Model Checking of Data Structure Properties.	Directed Model Checking	2006	DBLP BibTeX RDF
39	Frank Huch	Model checking Erlang programs - abstracting the context-free structure.	Workshop on Software Model Checking @ CAV	2001	DBLP DOI BibTeX RDF
39	Sarfraz Khurshid, Darko Marinov	Checking Java implementation of a naming architecture using Testera.	Workshop on Software Model Checking @ CAV	2001	DBLP DOI BibTeX RDF
39	Cindy Eisner	Model checking the garbage collection mechanism of SMV.	Workshop on Software Model Checking @ CAV	2001	DBLP DOI BibTeX RDF
39	Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue	Trail-directed model checking.	Workshop on Software Model Checking @ CAV	2001	DBLP DOI BibTeX RDF
39	Kirsten Winter	Model checking with abstract types.	Workshop on Software Model Checking @ CAV	2001	DBLP DOI BibTeX RDF
39	Timm Schäfer, Alexander Knapp, Stephan Merz	Model checking UML state machines and collaborations.	Workshop on Software Model Checking @ CAV	2001	DBLP DOI BibTeX RDF
38	Tathagato Rai Dastidar, P. P. Chakrabarti 0001	A verification system for transient response of analog circuits.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Ana CTL, model checking, query language, Analog circuits, equivalence checking, transient response
38	Robert P. Kurshan	Verification Technology Transfer.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
38	Wojciech Jamroga, Jürgen Dix	Model Checking Abilities of Agents: A Closer Look.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Multi-agent systems, Model checking, Computational complexity
38	Petros Oikonomakos, Mark Zwolinski	On the Design of Self-Checking Controllers with Datapath Interactions.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	fault tolerance, Reliability, testing, automatic synthesis, error-checking, redundant design
38	Robert M. Hierons, Hasan Ural	Optimizing the Length of Checking Sequences.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Finite state machine, distinguishing sequence, checking sequence, test minimization
38	Eugen-Nicolae Volanschi	Condate: a proto-language at the confluence between checking and compiling.	PPDP	2006	DBLP DOI BibTeX RDF	compilers, customization, declarative languages, program checking
37	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska 0002, Jana Tumova	Local Quantitative LTL Model Checking.	FMICS	2008	DBLP DOI BibTeX RDF
37	Lap-Chung Lam, Tzi-cker Chiueh	Checking Array Bound Violation Using Segmentation Hardware.	DSN	2005	DBLP DOI BibTeX RDF
37	Martin Leucker	Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata.	LPAR	1999	DBLP DOI BibTeX RDF
37	Orna Kupferman, Moshe Y. Vardi	Module Checking Revisited.	CAV	1997	DBLP DOI BibTeX RDF
37	Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi	A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking.	CONCUR	1996	DBLP DOI BibTeX RDF
36	Paolo Zuliani, André Platzer, Edmund M. Clarke	Bayesian statistical model checking with application to Simulink/Stateflow verification.	HSCC	2010	DBLP DOI BibTeX RDF	bayesian statis tics, statistical model checking, hybrid systems, probabilistic model checking, stochastic systems
36	Satish Yada, Bharadwaj S. Amrutur, Rubin A. Parekhji	Modified Stability Checking for On-line Error Detection.	VLSI Design	2007	DBLP DOI BibTeX RDF	crosstalk faults and transient faults, SEU testing, modified stability checking, delay faults, self-checking circuits, Concurrent testing, on-line error detection
36	Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter	Verifying Multi-agent Systems via Unbounded Model Checking.	FAABS	2004	DBLP DOI BibTeX RDF	unbounded model checking, multi-agent systems, Model checking
36	Vladimir V. Saposhnikov, Alexej Dmitriev, Michael Gössel, Valerij V. Saposhnikov	Self-dual parity checking-A new method for on-line testing.	VTS	1996	DBLP DOI BibTeX RDF	self-dual parity checking, self-dual complement, VLSI, logic testing, Boolean functions, Boolean function, integrated circuit testing, automatic testing, fault coverage, integrated logic circuits, online testing, error checking
36	Samy Makar, Edward J. McCluskey	Checking experiments to test latches.	VTS	1995	DBLP DOI BibTeX RDF	exhaustive functional tests, 2-state latches, minimum-length checking, D-latch, HSpice implementation, transmission gate latch, detectable shorted interconnects, open interconnects, short-to-power faults, short-to-ground faults, pin fault test set, multiplexer-based test set, sequential elements, 2-state state machines, simulation, fault diagnosis, logic testing, finite state machines, integrated circuit testing, sequential circuits, CMOS, circuit analysis computing, CMOS logic circuits, SPICE, stuck open faults, checking experiments, stuck-on faults
35	Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila	Simple Is Better: Efficient Bounded Model Checking for Past LTL.	VMCAI	2005	DBLP DOI BibTeX RDF	Past LTL, Bounded Model Checking, NuSMV
35	Moshe Y. Vardi	From Church and Prior to PSL.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
35	Krishnendu Chatterjee, Thomas A. Henzinger	Value Iteration.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
35	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002	Compositional encoding for bounded model checking.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	Communication Sequential Processes (CSP), Linear Temporal Logic (LTL), bounded model checking
35	Hamidah Ibrahim, Zarina Dzolkhifli, Praveen Madiraju	Checking the Integrity Constraints of Mobile Databases with Three-Level Model.	BNCOD	2008	DBLP DOI BibTeX RDF	integrity constraints, Mobile databases, constraint checking
35	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002	Bounded Model Checking of Compositional Processes.	TASE	2008	DBLP DOI BibTeX RDF	Compositional Processes, Tool, Bounded Model Checking
35	Cécile Germain-Renaud, Dephine Monnier-Ragaigne	Grid result checking.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	simulation, grids, result checking
35	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
35	Nikolay V. Shilov 0002, Natalya Olegovna Garanina	Polynomial Approximations for Model Checking.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	model checking, complexity, Calculus
35	Tatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno	Symbolic Model Checking for Self-Stabilizing Algorithms.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	distributed algorithms, Self-stabilization, symbolic model checking, automatic verification
35	Richard J. Anderson, Paul Beame, William Chan 0001, David Notkin	Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF	finite state representations, Formal methods, formal verification, binary decision diagrams, symbolic model checking, software specification
35	Issam Alzaher-Noufal, Michael Nicolaidis	A CAD Framework for Generating Self-Checking 1 Multipliers Based on Residue Codes.	DATE	1999	DBLP DOI BibTeX RDF	Fault Secure Circuits, Residue Arithmetic Codes, Multipliers, Self-Checking Circuits
34	Yannick Moy	Sufficient Preconditions for Modular Assertion Checking.	VMCAI	2008	DBLP DOI BibTeX RDF
34	Kristin Y. Rozier, Moshe Y. Vardi	LTL Satisfiability Checking.	SPIN	2007	DBLP DOI BibTeX RDF
34	Stefan Edelkamp, Shahid Jabbar	Large-Scale Directed Model Checking LTL.	SPIN	2006	DBLP DOI BibTeX RDF
34	Cormac Flanagan, Shaz Qadeer	Thread-Modular Model Checking.	SPIN	2003	DBLP DOI BibTeX RDF
34	A. Prasad Sistla	Symmetry Reductions in Model-Checking.	VMCAI	2003	DBLP DOI BibTeX RDF
34	Changrui Yu, Yan Luo	Term Consistency Checking of Ontology Model Based on Description Logics.	KSEM	2007	DBLP DOI BibTeX RDF
34	Nikolay V. Shilov 0002, Natalya Olegovna Garanina	Well-Structured Model Checking of Multiagent Systems.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
34	Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby	A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking.	CASSIS	2004	DBLP DOI BibTeX RDF
33	Xuandong Li, Johan Lilius	Checking compositions of UML sequence diagrams for timing inconsistency.	APSEC	2000	DBLP DOI BibTeX RDF	UML sequence diagram composition checking, timing inconsistency checking, real-time systems specification, system behaviour scenarios, high-level graphs, real-time systems, model checking, Unified Modeling Language, formal verification, graphs, timing, specification languages, sequences, diagrams, object interactions
33	Anton Wijs, Bert Lisser	Distributed Extended Beam Search for Quantitative Model Checking.	MoChArt	2006	DBLP DOI BibTeX RDF	directed model checking, distributed model checking, scheduling, beam search
33	Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli	A Decision Algorithm for Full Propositional Temporal Logic.	CAV	1993	DBLP DOI BibTeX RDF	satisfiability checking, validity checking, past and future operators, incremental tableau, model checking, temporal logic, automatic verification
32	Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma	Non-cycle-accurate sequential equivalence checking.	DAC	2009	DBLP DOI BibTeX RDF	unit product machine, model checking, formal verification, high level synthesis, sequential equivalence checking