UB Paderborn / Katalog / Suche / in CDI

OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse

Electronic proceedings in theoretical computer science, 2014-04, Vol.149 (Proc. F-IDE 2014), p.79-92

Cok, David R.

2014

Volltextzugriff (PDF)

The 2013 Evaluation of SMT-COMP and SMT-LIB

Journal of automated reasoning, 2015-06, Vol.55 (1), p.61-90

2015

Volltextzugriff (PDF)

ESC/Java2: Uniting ESC/Java and JML: Progress and Issues in Building and Using ESC/Java2, Including a Case Study Involving the Use of the Tool to Verify Portions of an Internet Voting Tally System

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2005, p.108-128

2005

Volltextzugriff (PDF)

An overview of JML tools and applications

International journal on software tools for technology transfer, 2005-06, Vol.7 (3), p.212-232

2005

Volltextzugriff (PDF)

Improved usability and performance of SMT solvers for debugging specifications

International journal on software tools for technology transfer, 2010-11, Vol.12 (6), p.467-481

Cok, David R.

2010

Volltextzugriff (PDF)

SPEEDY: An Eclipse-based IDE for invariant inference

Electronic proceedings in theoretical computer science, 2014-04, Vol.149 (Proc. F-IDE 2014), p.44-57

2014

Volltextzugriff (PDF)

Further Lessons from the JML Project

The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.313-349

2022

Volltextzugriff (PDF)

OpenJML: JML for Java 7 by Extending OpenJDK

NASA Formal Methods, p.472-479

Volltextzugriff (PDF)

Runtime Assertion Checking and Static Verification: Collaborative Partners

Lecture notes in computer science, 2018, Vol.11245 (Part 2), p.75-91

2018

Volltextzugriff (PDF)

Abstraction in Deductive Verification: Model Fields and Model Methods

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, p.29-44

Volltextzugriff (PDF)

Java Automated Deductive Verification in Practice: Lessons from Industrial Proof-Based Projects

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, p.176-193

Volltextzugriff (PDF)

How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification

Formal Methods for Components and Objects, 2003, p.262-284

2003

Volltextzugriff (PDF)

Report on SL-COMP 2014

Journal on satisfiability, Boolean modeling and computation, 2016-01, Vol.9 (1), p.173-186

2016

Volltextzugriff (PDF)

JML and OpenJML for Java 16

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021, p.65-67

Cok, David R.

2021

Volltextzugriff (PDF)

Improved usability and performance of SMT solvers for debugging specificationsqvsl: 20101200

International journal on software tools for technology transfer, 2010-11, Vol.12 (6), p.467

Cok, David R

2010

Volltextzugriff (PDF)

Practical Methods for Reasoning About Java 8's Functional Programming Features

Verified Software. Theories, Tools, and Experiments, 2018, Vol.11294, p.267-278

2018

Volltextzugriff (PDF)

Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022, p.26-28

2022

Volltextzugriff (PDF)

jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2

NASA Formal Methods, p.480-486

Volltextzugriff (PDF)

How the design of JML accommodates both runtime assertion checking and formal verification

Science of computer programming, 2005-03, Vol.55 (1), p.185-208

2005

Volltextzugriff (PDF)

The 2014 SMT Competition

Journal on satisfiability, Boolean modeling and computation, 2016-01, Vol.9 (1), p.207-242

2016

Volltextzugriff (PDF)

Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs

Journal of object technology, 2024, Vol.23 (2), p.2

2024

Volltextzugriff (PDF)

Reasoning about functional programming in Java and C++

Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018, p.37-39

Cok, David R.

2018

Volltextzugriff (PDF)

Generating counterexamples in the form of unit tests from hoare-style verification attempts

2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE), 2022, p.124-128

2022

Volltextzugriff (PDF)

Specifying java iterators with JML and Esc/Java2

International Conference on Software Engineering: Proceedings of the 2006 conference on Specification and verification of component-based systems; 10-11 Nov. 2006, 2006, p.71-74

Cok, David R.

2006

Volltextzugriff (PDF)

Automated Reasoning Repair

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022, p.11-14

2022

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse

The 2013 Evaluation of SMT-COMP and SMT-LIB

ESC/Java2: Uniting ESC/Java and JML: Progress and Issues in Building and Using ESC/Java2, Including a Case Study Involving the Use of the Tool to Verify Portions of an Internet Voting Tally System

An overview of JML tools and applications

Improved usability and performance of SMT solvers for debugging specifications

SPEEDY: An Eclipse-based IDE for invariant inference

Further Lessons from the JML Project

OpenJML: JML for Java 7 by Extending OpenJDK

Runtime Assertion Checking and Static Verification: Collaborative Partners

Abstraction in Deductive Verification: Model Fields and Model Methods

Java Automated Deductive Verification in Practice: Lessons from Industrial Proof-Based Projects

How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification

Report on SL-COMP 2014

JML and OpenJML for Java 16

Improved usability and performance of SMT solvers for debugging specificationsqvsl: 20101200

Practical Methods for Reasoning About Java 8's Functional Programming Features

Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language

jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2

How the design of JML accommodates both runtime assertion checking and formal verification

The 2014 SMT Competition

Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs

Reasoning about functional programming in Java and C++

Generating counterexamples in the form of unit tests from hoare-style verification attempts

Specifying java iterators with JML and Esc/Java2

Automated Reasoning Repair

Suchergebnisse filtern