The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1952-1959 (15) 1960-1965 (16) 1966-1969 (15) 1970-1973 (19) 1974-1975 (21) 1976-1977 (31) 1978 (17) 1979 (16) 1980 (26) 1981 (17) 1982 (26) 1983 (25) 1984 (33) 1985 (33) 1986 (31) 1987 (51) 1988 (84) 1989 (67) 1990 (101) 1991 (99) 1992 (124) 1993 (130) 1994 (161) 1995 (195) 1996 (232) 1997 (240) 1998 (366) 1999 (452) 2000 (469) 2001 (546) 2002 (729) 2003 (826) 2004 (1071) 2005 (1185) 2006 (1253) 2007 (1239) 2008 (1355) 2009 (1082) 2010 (629) 2011 (567) 2012 (595) 2013 (609) 2014 (658) 2015 (623) 2016 (659) 2017 (603) 2018 (605) 2019 (600) 2020 (560) 2021 (639) 2022 (615) 2023 (591) 2024 (143)
Publication types (Num. hits)
article(5239) book(20) data(2) incollection(127) inproceedings(15256) mastersthesis(1) phdthesis(376) proceedings(73)
Venues (Conferences, Journals, ...)
CoRR(1041) VMCAI(594) SPIN(470) CAV(402) TACAS(262) Int. J. Softw. Tools Technol. ...(222) DAC(179) IEEE Trans. Computers(174) ASE(159) ATVA(159) CONCUR(152) FMCAD(138) DATE(137) IEEE Trans. Software Eng.(125) Formal Methods Syst. Des.(124) IEEE Trans. Comput. Aided Des....(118) More (+10 of total 3509)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12246 occurrences of 3747 keywords

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