The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Model checking (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1971-1989 (25) 1990 (18) 1991 (25) 1992 (24) 1993 (39) 1994 (49) 1995 (61) 1996 (79) 1997 (103) 1998 (169) 1999 (235) 2000 (249) 2001 (289) 2002 (384) 2003 (428) 2004 (545) 2005 (586) 2006 (617) 2007 (616) 2008 (674) 2009 (596) 2010 (356) 2011 (328) 2012 (370) 2013 (363) 2014 (378) 2015 (347) 2016 (355) 2017 (313) 2018 (333) 2019 (293) 2020 (240) 2021 (283) 2022 (203)
Publication types (Num. hits)
article(2275) book(14) incollection(82) inproceedings(7354) mastersthesis(1) phdthesis(193) proceedings(54)
Venues (Conferences, Journals, ...)
VMCAI(576) SPIN(458) CoRR(417) CAV(335) TACAS(223) Int. J. Softw. Tools Technol. ...(205) ATVA(124) CONCUR(122) Electron. Notes Theor. Comput....(119) Formal Methods Syst. Des.(98) FMCAD(97) ASE(93) LICS(83) ICFEM(81) QEST(81) Formal Aspects Comput.(64) More (+10 of total 1657)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5797 occurrences of 1541 keywords

Results
Found 9973 publication records. Showing 9973 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
69E. 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
69Gerard 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
66Rajeev Alur Model Checking: From Tools to Theory. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
63Randal 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
63Limor 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
62Antti 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
62Tobias 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
57Matthias 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
57Malay 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
57Per Bjesse Industrial Model Checking Based on Satisfiability Solvers. Search on Bibsonomy SPIN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56Matthias 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
51Marsha 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
51Liang 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
50Zhi-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*
50Anthony 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
50Ernst-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
50Parosh 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
50Sagar Chaki, Arie Gurfinkel BDD-Based Symbolic Model Checking. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
50Robert 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
50Natarajan Shankar Combining Model Checking and Deduction. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
50Orna Kupferman Automata Theory and Model Checking. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
50Patrice Godefroid, Koushik Sen Combining Model Checking and Testing. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
50Armin Biere, Daniel Kröning SAT-Based Model Checking. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
50Parosh 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
50Edmund 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
50Gerard J. Holzmann Explicit-State Model Checking. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
50Christel 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
50David A. Basin, Cas Cremers, Catherine A. Meadows Model Checking Security Protocols. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
50Julian 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
50Aarti 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
50Kenneth L. McMillan Interpolation and Model Checking. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
50Rupak 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
50Rajeev 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
50Dirk 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
50Patricia 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
50Rance 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
50Edmund M. Clarke The Birth of Model Checking. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
50Parosh 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
50Stefan 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
50Stefan 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
50Parosh 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
50Chandrasekhar 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
50Hyeong-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
50Patrice Godefroid, Michael Huth Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
48Robert P. Kurshan Verification Technology Transfer. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Magdalena 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
46Wojciech 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
46Paolo 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
46Anton 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
45Timo 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
44Moshe 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
44Krishnendu Chatterjee, Thomas A. Henzinger Value Iteration. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Tatsuhiro 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
44Richard 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
43Jiri 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
43Jun 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
43Jun 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
43Stefan 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
43Nikolay 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
43Hiroaki Iwashita, Tsuneo Nakata Forward model checking techniques oriented to buggy designs. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF symbolic state traversal, forward model checking, formal verification, symbolic model checking
43Zuan Zhang An approach to hierarchy model checking via evaluating CTL hierarchically. Search on Bibsonomy Asian Test Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF hierarchy model checking, CTL specifications, computational complexity, formal specification, formal verification, Symbolic Model Checking, formal logic, CTL, logic partitioning, hierarchical systems, Computational Tree Logic, local properties
43Thomas 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
43Orna Kupferman, Moshe Y. Vardi Module Checking. Search on Bibsonomy CAV The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
42Martin 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
42Stefan Edelkamp, Shahid Jabbar Large-Scale Directed Model Checking LTL. Search on Bibsonomy SPIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Cormac Flanagan, Shaz Qadeer Thread-Modular Model Checking. Search on Bibsonomy SPIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41A. Prasad Sistla Symmetry Reductions in Model-Checking. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Fang 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
41Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin A classification of symbolic transition systems. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF infinite-state model checking, state equivalences, Model checking, temporal logics, hybrid automata, symbolic algorithms
41Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi 0001 (eds.) Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday Search on Bibsonomy Model Checking, Synthesis, and Learning The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
41Giovanni Bacci 0001, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard Quantitative Analysis of Interval Markov Chains. Search on Bibsonomy Model Checking, Synthesis, and Learning The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
41Markus Frohme, Bernhard Steffen Never-Stop Context-Free Learning. Search on Bibsonomy Model Checking, Synthesis, and Learning The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
41Manuel Gieseking, Ernst-Rüdiger Olderog High-Level Representation of Benchmark Families for Petri Games. Search on Bibsonomy Model Checking, Synthesis, and Learning The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
41Simon Dierl, Falk Howar A Taxonomy and Reductions for Common Register Automata Formalisms. Search on Bibsonomy Model Checking, Synthesis, and Learning The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
41Jakaria Abdullah, Wang Yi 0001 Cause-Effect Reaction Latency in Real-Time Systems. Search on Bibsonomy Model Checking, Synthesis, and Learning The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
41Tiziana Margaria, Alexander Schieweck Towards Engineering Digital Twins by Active Behaviour Mining. Search on Bibsonomy Model Checking, Synthesis, and Learning The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
41Yih-Kuen Tsay, Moshe Y. Vardi From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle. Search on Bibsonomy Model Checking, Synthesis, and Learning The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
41Dimitra Giannakopoulou, Kedar S. Namjoshi, Corina S. Pasareanu Compositional Reasoning. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
41Dennis Dams, Orna Grumberg Abstraction and Abstraction Refinement. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
41Randal E. Bryant Binary Decision Diagrams. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
41Ranjit Jhala, Andreas Podelski, Andrey Rybalchenko Predicate Abstraction for Program Verification. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
41João Marques-Silva 0001, Sharad Malik Propositional SAT Solving. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
41Clark W. Barrett, Cesare Tinelli Satisfiability Modulo Theories. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
41Laurent Doyen 0001, Goran Frehse, George J. Pappas, André Platzer Verification of Hybrid Systems. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
41Sanjit A. Seshia, Natasha Sharygina, Stavros Tripakis Modeling for Verification. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
41Nir Piterman, Amir Pnueli Temporal Logic and Fair Discrete Systems. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
41Doron Peled Partial-Order Reduction. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
41Cindy Eisner, Dana Fisman Functional Specification of Hardware via Temporal Logic. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
41Roderick Bloem, Krishnendu Chatterjee, Barbara Jobstmann Graph Games and Reactive Synthesis. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
41Tom Melham Symbolic Trajectory Evaluation. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
41Orna Grumberg, Helmut Veith (eds.) 25 Years of Model Checking - History, Achievements, Perspectives Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Jean-Pierre Queille, Joseph Sifakis Specification and Verification of Conurrent Systems in Cesar. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Amir Pnueli, Aleksandr Zaks On the Merits of Temporal Testers. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41David L. Dill A Retrospective on Murphi. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Edmund M. Clarke, E. Allen Emerson Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Stefan Edelkamp, Stefan Leue, Willem Visser (eds.) Directed Model Checking, 26.04. - 29.04.2006 Search on Bibsonomy Directed Model Checking The full citation details ... 2007 DBLP  BibTeX  RDF
41Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm (eds.) Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006 Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
41Jérôme Leroux, Grégoire Sutre Flat counter automata almost everywhere!. Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
41Jörg Bauer 0001, Reinhard Wilhelm Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
41Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek Reachability analysis of multithreaded software with asynchronous communication. Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 9973 (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 Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license