A Formalisation of Java Strings for Program Specification and Verification.
Richard BubelReiner HähnleUlrich GeilmannPublished in: SEFM (2011)
Keyphrases
- java programs
- java bytecode
- symbolic execution
- formal verification
- formal analysis
- formal methods
- programming language
- specification language
- protocol specification
- asynchronous circuits
- lightweight
- model checking
- byte code
- database applications
- source code
- web services
- hardware designs
- high level
- object oriented
- java card
- open source
- control flow
- object oriented programs
- static analysis
- development environment
- computer programs
- cross platform
- control program
- java virtual machine
- java language
- biological sequences
- colored petri nets
- verification method
- program execution
- multi threaded
- test generation
- string matching
- formal specification
- test cases
- case study