Keyphrases
Abstract Behavioral Specification
35%
Abstract Data Types
24%
Application Deployment
18%
Assertion Languages
22%
Automatic Verification
12%
Auxiliary Variable
18%
Checkers
18%
Cloud Services
18%
Correctness Proofs
15%
Counting Sort
24%
First-order
18%
Formal Specification
37%
Formal Verification
74%
Grammar
18%
Hash Map
24%
History Based
37%
Industrial Case Study
38%
Interactive Project
12%
Invariance
20%
Isabelle
24%
Java
67%
Java Collection Framework
37%
Java Interface
24%
Java Modeling Language
22%
Java Program
54%
Linked List
31%
Method Call
24%
Method Call Sequences
24%
Monitoring Method
24%
Object-oriented Program
24%
OpenJDK
62%
Parameter Values
12%
Programming Languages
16%
Proof Rules
16%
Radix Sort
24%
Return Value
12%
Runtime Assertion Checking
46%
Runtime Checking
31%
Runtime Verification
31%
Semi-automated
16%
Service Level Agreement
37%
Sorting Algorithm
34%
Source Material
12%
Specification Language
23%
Specification Method
12%
Theorem Prover
45%
Timsort
16%
Tool Suite
33%
Tutorial Paper
12%
Video Materials
31%
Computer Science
Abstract Data Type
24%
Abstract Object
12%
Annotation
24%
Aspect-Oriented Programming
24%
Assertion Time
43%
Auxiliary Variable
12%
Beginning User
12%
Case Study
100%
Code Annotation
24%
Completeness Proof
12%
component based design
12%
component-based software
24%
Continuous Delivery
12%
DevOps
14%
Formal Specification
37%
Formal Verification
74%
Functional Verification
24%
Generic Component
12%
Industrial Case
47%
Interactive Session
12%
Language Modeling
12%
Linked List
31%
Liveness
12%
Logic Programming
12%
Logical Operation
12%
Loop Simulation
12%
Method Invocation
12%
modeling language
49%
Object Creation
12%
Object-Oriented Modeling Language
12%
Oriented Program
37%
Oriented Protocol
31%
Parameter Value
12%
Programming Language
16%
Quicksort
12%
Recursive Program
16%
Return Value
12%
Run-Time Checking
37%
runtime verification
37%
Service-Level Agreement
37%
Software Verification
24%
Sorting Algorithm
62%
Soundness
22%
Specification Language
49%
Standard Library
24%
Static Program Analysis
14%
Symbolic Execution
12%
Test Generation
12%
Theorem Prover
58%
Verification Environment
24%