The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1968-1976 (20) 1977-1979 (22) 1980-1983 (20) 1984-1986 (16) 1987-1988 (22) 1989 (19) 1990 (19) 1991-1992 (20) 1993 (19) 1994 (15) 1995 (21) 1996 (19) 1997-1998 (20) 1999-2000 (25) 2001-2002 (29) 2003 (20) 2004 (28) 2005 (47) 2006 (36) 2007 (65) 2008 (65) 2009 (63) 2010 (39) 2011 (26) 2012 (25) 2013 (28) 2014 (26) 2015-2016 (17) 2017 (21) 2018 (22) 2019 (10)
Publication types (Num. hits)
article(216) book(5) incollection(7) inproceedings(589) phdthesis(19) proceedings(8)
Venues (Conferences, Journals, ...)
IEEE Trans. Software Eng.(68) PLPV(61) POPL(35) CoRR(23) VSTTE(16) CAV(14) PLDI(13) CADE(12) STTT(10) ESOP(9) Formal Asp. Comput.(9) ICSE(9) VMCAI(9) CSL(8) J. Autom. Reasoning(8) SAC(8) More (+10 of total 319)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1622 occurrences of 762 keywords

Results
Found 844 publication records. Showing 844 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
112Chris Hankin, Hanne Riis Nielson, Jens Palsberg Position Statements on Strategic Directions for Research on Programming Languages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
54Naoki Kobayashi 0001, Naoshi Tabuchi, Hiroshi Unno 0001 Higher-order multi-parameter tree transducers and recursion schemes for program verification. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF higher-order tree transducers, tree-processing programs, program verification, higher-order recursion scheme
54Saurabh Srivastava 0001, Sumit Gulwani, Jeffrey S. Foster From program verification to program synthesis. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF proof-theoretic program synthesis, verification
46Patrick Cousot, Radhia Cousot Systematic Design of Program Analysis Frameworks. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
45Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz 10252 Executive Summary - Game Semantics and Program Verification. Search on Bibsonomy Game Semantics and Program Verification The full citation details ... 2010 DBLP  BibTeX  RDF
45Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz 10252 Abstracts Collection - Game Semantics and Program Verification. Search on Bibsonomy Game Semantics and Program Verification The full citation details ... 2010 DBLP  BibTeX  RDF
44Nevin Heintze, Joxan Jaffar, Razvan Voicu A Framework for Combining Analysis and Verification. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF program analysis, abstract interpretation, program verification
43Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou Program Verification by Using DISCOVERER. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF semi-algebraic systems, DISCOVERER, reachability computation, program verification, termination, invariant generation
40Alberto Pettorossi, Maurizio Proietti Program Derivation = Rules + Strategies. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum A (de)constructive approach to program checking. Search on Bibsonomy STOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF program testing, program correcting, program checking
39Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF data-flow language LUSTRE, synchronous data-flow language, critical real-time systems, ergonomy, dataflow approach, traditional description tools, verification tool LESAR, critical properties, real-time systems, parallel programming, program verification, program verification, parallel languages, verification methods, formal design
39Dipankar Sarkar, S. C. De Sarkar A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF quantified formula handling, array handling, undecidability problem, automated verifier, quantified formulas, bound-extension rule, bound-modification, theorem proving, program verification, program verification, first-order logic, inference mechanisms, decidability, inference rules, integer arithmetic
36Martina Schollmeyer, Bruce M. McMillin Checking Program Proofs Made Eas. Search on Bibsonomy COMPSAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF temporal subsumption, proof checking, assertion-based reasoning, formal methods, program verification
35Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier Towards verification and testing of Java programs. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF program verification, java programs, object-oriented testing
35Ralph-Johan Back Invariant based programming: basic approach and teaching experiences. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Ralph-Johan Back Invariant Based Programming. Search on Bibsonomy ICATPN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Michael Jackson 0001 What Can We Expect from Program Verification? Search on Bibsonomy IEEE Computer The full citation details ... 2006 DBLP  DOI  BibTeX  RDF software engineering, program verification, system reliability, software-intensive systems
34Philipp Rümmer, Muhammad Ali Shah Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Disproving, Testing, Program verification, Program logics
33Grace Tsai, Shuhua Wang Using Program Transformations to Provide Safety Properties for Real-Time Systems. Search on Bibsonomy Real-Time Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fault tolerance, real time systems, formal methods, temporal logic, program verification, executable assertions
33Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz (eds.) Game Semantics and Program Verification, 20.06. - 25.06.2010 Search on Bibsonomy Game Semantics and Program Verification The full citation details ... 2010 DBLP  BibTeX  RDF
32Michael W. Whalen, Johann Schumann, Bernd Fischer 0002 Synthesizing Certified Code. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF automatic program synthesis, code certification, program verification, automated theorem proving, proof-carrying code
31Glenn Ammons, Rastislav Bodík, James R. Larus Mining specifications. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
30Sergio Cárdenas-García, Marvin V. Zelkowitz A Management Tool For Evaluation of Software Designs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF economic decision theory, prototyping investigative system, equilibrium probabilities, software tools, decision support system, decision support systems, program verification, program verification, software designs, software prototyping, risk analysis, functional model, evaluation strategy, Selector, management tool
30Zhou Chaochen Program Verification Through Computer Algebra. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Bican Xia, Lu Yang, Naijun Zhan Program Verification by Reduction to Semi-algebraic Systems Solving. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Semi-Algebraic Systems, Program Verification, Invariants, Quantifier Elimination, Ranking Functions, Polynomial Programs
29Huu Hai Nguyen, Wei-Ngan Chin Enhancing Program Verification with Lemmas. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Lemma Proving, Lemma Application, Program Verification, Separation Logic, Entailment
29Tjark Weber Towards Mechanized Program Verification with Separation Logic. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Separation Logic, Interactive Theorem Proving, Formal Program Verification
29Annalisa Bossi, Nicoletta Cocco Programs Without Failures. Search on Bibsonomy LOPSTR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF finitely failing derivations, program transformation, program verification
29June Andronick, Boutheina Chetali, Christine Paulin-Mohring Formal Verification of Security Properties of Smart Card Embedded Source Code. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Source code verification, Security, Formal Methods, Theorem Proving, Smart Card
29Cong-Cong Xing Enhancing program verifications by restricting object types. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF object types, OOP, program verification
28Hongwei Xi Facilitating Program Verification with Dependent Types. Search on Bibsonomy SEFM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Elvira Albert, Germán Puebla, Manuel V. Hermenegildo Abstraction-Carrying Code: a Model for Mobile Code Safety. Search on Bibsonomy New Generation Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification
27Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta Security validation tool for business processes. Search on Bibsonomy SACMAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
27Kathi Fisler, Shriram Krishnamurthi Decomposing Verification Around End-User Features. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Ewen Denney, Bernd Fischer 0002 Generating customized verifiers for automatically generated code. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logical annotations, program verification, automated theorem proving, hoare logic, software certification, automated code generation
27Karen Zee, Viktor Kuncak, Michael Taylor, Martin C. Rinard Runtime Checking for Program Verification. Search on Bibsonomy RV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Manuvir Das, Sorin Lerner, Mark Seigle ESP: Path-Sensitive Program Verification in Polynomial Time. Search on Bibsonomy PLDI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF error detection, dataflow analysis, path-sensitive analysis
26Levent Erkök, John Matthews Pragmatic equivalence and safety checking in Cryptol. Search on Bibsonomy PLPV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF sat/smt solving, size polymorphism, formal methods, cryptography, theorem proving, equivalence checking
26Nishant Sinha 0001 Symbolic Program Analysis Using Term Rewriting and Generalization. Search on Bibsonomy FMCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Helmut K. Berg Firmware testing and test data selection. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
25Sebastian Burckhardt, Madanlal Musuvathi Effective Program Verification for Relaxed Memory Models. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Willem-Paul de Roever A Perspective on Program Verification. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Byron Cook, Daniel Kroening, Natasha Sharygina Accurate Theorem Proving for Program Verification. Search on Bibsonomy ISoLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25James M. Morris, Mark Howard Program Verification by Symbolic Execution of Hyperfinite Ideal Machines. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
25Johann Schumann, Bernd Fischer 0002, Michael W. Whalen, Jon Whittle Certification Support for Automatically Generated Programs. Search on Bibsonomy HICSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb Design and Specification of Iterators Using the Swapping Paradigm. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF swapping paradigm, common interface model, user defined iterator abstractions, modular correctness proofs, formal specification, formal specification, formal methods, program verification, program verification, iterators, iterator designs, swapping, proof of correctness, modular reasoning, data encapsulation, imperative languages
25Scott D. Stoller Addendum to "Proof Rules for Flush Channels". Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF flush channels, multiple identical messages, logic system, distributed systems, distributed processing, message passing, program verification, program verification, asynchronous communication, formal logic, channel, proof system, communicating processes, proof rules
25William E. Howden, Bruce Wieand QDA-A Method for Systematic Informal Program Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF QDA, systematic informal program analysis, program properties, Quick Defect Analysis, comments analysis, abstract program model, hypothesis-driven method, operational flight program, formal specification, formal verification, specification, program verification, program verification, programming theory, program debugging, program diagnostics, program validity, code reading
25David Lorge Parnas, Jan Madey, Michal Iglewski Precise Documentation of Well-Structured Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF precise documentation, well-structured programs, program fragments, reference document, functional approach, program documentation, tabular form, software engineering, formal specification, specification, software maintenance, software maintenance, program verification, program verification, displays, software inspection, index, structured programming, lexicon, system documentation, program correctness
25Robert E. Strom, Daniel M. Yellin Extending Typestate Checking Using Conditional Liveness Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF typestate checking, conditional liveness analysis, uninitialized variable errors, dataflow analysis algorithm, statically tracked information, program verification, program verification, programming errors
25Abha Moitra, S. Sitharama Iyengar, Farokh B. Bastani, I-Ling Yen Multilevel Data Structures: Models and Performance. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF multilevel data structure, data structures, concurrency, software reliability, program verification, program verification, programming theory, correctness proof, data organization, maintenance processes
25Natarajan Shankar Automated deduction for verification. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Natarajan Shankar Verification by Abstraction. Search on Bibsonomy 10th Anniversary Colloquium of UNU/IIST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan Program analysis as constraint solving. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF most-general counterexamples, non-termination analysis, strongest postcondition, program verification, constraint solving, weakest precondition, bounds analysis
25Alexei Lisitsa, Andrei P. Nemytykh A Note on Specialization of Interpreters. Search on Bibsonomy CSR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program verification, cache coherence protocols, Program specialization, supercompilation
24Dirk Beyer 0001, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar The software model checker Blast. Search on Bibsonomy STTT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Model checking, Software verification, Test-case generation, Software specification, Memory safety
24Axel Dold, Vincent Vialard Formal Verification of a Compiler Back-End Generic Checker Program. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF checker-based program verification, generic specification, formal verification
24Nurlida Basir, Ewen Denney, Bernd Fischer 0002 Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. Search on Bibsonomy SAFECOMP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Goal Structuring Notation, Hoare logic, fault tree analysis, Automated code generation, safety case, formal program verification
24Li Li, Ming Gu 0001, Xiaoyu Song, Jianmin Wang 0001 Effective Predicate Abstraction for Program Verification. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF program verification, predicate abstraction
24Paritosh Shroff, Christian Skalka, Scott F. Smith 0001 The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF 0CFA, program analysis, program verification, higher-order
24Sumit Gulwani, Nebojsa Jojic Program verification as probabilistic inference. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF automated recovery machine, forward and backward analysis, over and under approximation, learning, program verification, Markov chain Monte Carlo, Gibbs sampling, belief networks, probabilistic inference, factor graphs
24Paresh B. Shah, James C. Pleasant Formal program verification and computability theory. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Hoare proof rules, loop programs, primitive recursive functions, computability theory, formal program verification
24Leon Sterling, Alan Bundy Meta-Level Inference and Program Verification. Search on Bibsonomy CADE The full citation details ... 1982 DBLP  DOI  BibTeX  RDF meta-level inference, logic programming, program verification
24George W. Ernst, Raymond J. Hookway The Use of Higher Order Logic in Program Verification. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1976 DBLP  DOI  BibTeX  RDF inductive assertions, program verification, Heuristic search, higher order logic, mechanical theorem proving
24Yannick Moy Sufficient Preconditions for Modular Assertion Checking. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck CPBPV: A Constraint-Programming Framework for Bounded Program Verification. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Patrice 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
23Daniel Leivant Polymorphic Type Inference. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
23Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek Challenge benchmarks for verification of real-time programs. Search on Bibsonomy PLPV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF java, verification, real-time
23Moshe Y. Vardi Alternating Automata and Program Verification. Search on Bibsonomy Computer Science Today The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
23Karen Zee, Viktor Kuncak, Martin C. Rinard An integrated proof language for imperative programs. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF verification, theorem prover, proof system
23Stephen Adams 0001, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Larry Wos Appendix: Conjectures Concerning Proof, Design, and Verification. Search on Bibsonomy TPHOLs The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Norihisa Suzuki, Kiyoshi Ishihata Implementation of an Array Bound Checker. Search on Bibsonomy POPL The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
23Ali Mili, Jules Desharnais A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. Search on Bibsonomy ICSE The full citation details ... 1984 DBLP  BibTeX  RDF
23Aaron Stump Programming with Proofs: Language-Based Approaches to Totally Correct Software. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Patrice Chalin Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Logical foundations, Static program verification, Survey, Assertions, Design by contract, Industrial practice, Extended static checking, Runtime assertion checking
22Bernhard Beckert, Steffen Schlager, Peter H. Schmitt An Improved Rule for While Loops in Deductive Program Verification. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Abhik Roychoudhury, Tulika Mitra Specifying multithreaded Java semantics for program verification. Search on Bibsonomy ICSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Java, JavaScript
22Guangquan Zhang, Rong Mei An Approach of Concurrent Object-Oriented Program Slicing Based on LTL Property. Search on Bibsonomy CSSE (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Graeme Williams Program checking. Search on Bibsonomy SIGPLAN Symposium on Compiler Construction The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
22Shaz Qadeer Algorithmic Verification of Systems Software Using SMT Solvers. Search on Bibsonomy SAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Nicolas Oury Pattern matching coverage checking with dependent types using set approximations. Search on Bibsonomy PLPV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF coverage checking, set approximation, pattern matching
21Bernhard Beckert, Vladimir Klebanov Proof Reuse for Deductive Program Verification. Search on Bibsonomy SEFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Thomas Fahringer, Bernhard Scholz A Unified Symbolic Evaluation Framework for Parallelizing Compilers. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF program context, data-flow and control-flow analysis, symbolic dependence testing, compiler optimizations, parallelizing compilers, parallel systems, Symbolic analysis, symbolic evaluation
21Mary Lou Soffa Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. Search on Bibsonomy SAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Andreas Podelski, Andrey Rybalchenko Transition predicate abstraction and fair termination. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fair termination, transition predicate abstraction, liveness, Software model checking
21Bernhard Beckert, Christoph Gladisch White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Andreas Podelski, Andrey Rybalchenko Transition predicate abstraction and fair termination. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fair termination, transition predicate abstraction, liveness, software model checking
21Klaus Havelund, Allen Goldberg Verify Your Runs. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Robert Cartwright Formal Program Testing. Search on Bibsonomy POPL The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
21Stanley Lee, Willem P. de Roever, Susan L. Gerhart The Evolution of List-Copying Algorithms. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
20Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky Effective interactive proofs for higher-order imperative programs. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF functional programming, dependent types, separation logic, interactive proof assistants
20Alvaro E. Arenas An Abstract Model for Scheduling Real-Time Programs. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Scheduling, Program Verification, Real-time Programming
20Isabelle Dony, Baudouin Le Charlier A Program Verification System Based on Oz. Search on Bibsonomy MOZ The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Maritta Heisel, Wolfgang Reif, Werner Stephan 0001 A Dynamic Logic for Program Verification. Search on Bibsonomy Logic at Botik The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
20Gilles Barthe, Tamara Rezk, Ando Saabas Proof Obligations Preserving Compilation. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Tayfun Elmas, Shaz Qadeer, Serdar Tasiran A calculus of atomic actions. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF abstraction, concurrent programs, reduction, atomicity
19Alex Groce, Rajeev Joshi Extending Model Checking with Dynamic Analysis. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Anduo Wang, Fei He 0001, Ming Gu 0001, Xiaoyu Song Verifying Java Programs By Theorem Prover HOL. Search on Bibsonomy COMPSAC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 844 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
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