History-based specification and verification of Java collections in KeY (keynote).
Frank S. de BoerHans-Dieter A. HiepPublished in: FTfJP@ECOOP (2020)
Keyphrases
- formal verification
- formal methods
- model checking
- high security
- high level
- key issues
- metadata
- asynchronous circuits
- digital libraries
- information retrieval
- source code
- open source
- programming language
- document collections
- specification language
- data collections
- software engineering
- data sets
- protocol specification
- database applications
- face verification
- java card
- web services
- object oriented programs