Formal verification applied to Java concurrent software.

Published in: ICSE (2000)

Keyphrases

formal verification
model checking
computer systems
source code
model checker
symbolic model checking
software architecture
software maintenance
program slicing
java programs
commercial software
software evolution
software testing
web services
software tools
lightweight
open source
programming language