The Karlsruhe Java Verification Suite.
Jonas KlamrothFlorian LanzingerWolfram PfeiferMattias UlbrichPublished in: The Logic of Software. A Tasting Menu of Formal Methods (2022)
Keyphrases
- programming language
- model checking
- byte code
- open source
- java programs
- face verification
- java bytecode
- database applications
- lightweight
- high security
- verification method
- general purpose
- development environment
- source code
- java applets
- java programming
- concurrent systems
- data sets
- advanced features
- application server
- signature verification
- formal analysis
- case study
- web services
- genetic algorithm
- real world