Formal Specification of Java Concurrency to Assist Software Verification.
Brad LongBenjamin W. LongPublished in: IPDPS (2003)
Keyphrases
- formal specification
- object oriented design
- object oriented languages
- model checking
- specification languages
- specification language
- process algebra
- reverse engineering
- concurrency control
- formal methods
- programming language
- concurrent systems
- data abstraction
- object oriented
- source code
- web services
- database systems
- temporal logic
- computation tree logic
- data flow
- software engineering