Formal Verification of Concurrent and Distributed Constraint-Based Java Programs.
Rafael RamírezAndrew E. SantosaPublished in: ICECCS (2005)
Keyphrases
- formal verification
- java programs
- model checking
- multi threaded
- model checker
- distributed systems
- automated verification
- bounded model checking
- cooperative
- symbolic model checking
- java language
- case study
- multi agent
- computer networks
- software components
- java virtual machine
- constraint satisfaction
- parallel algorithm
- error rate
- peer to peer
- data management
- data model
- query processing
- information systems