History-Based Specification and Verification of Java Collections in KeY.
Hans-Dieter A. HiepJinting BianFrank S. de BoerStijn de GouwPublished in: IFM (2020)
Keyphrases
- formal verification
- high security
- information retrieval
- high level
- asynchronous circuits
- model checking
- byte code
- programming language
- database applications
- open source
- source code
- lightweight
- protocol specification
- databases
- object oriented programs
- development environment
- formal specification
- object oriented
- digital libraries
- information systems
- data mining