Refjav: tool for automated verification by generating CCS of multithreaded Java system in distributed environment.
ArpitAshwini KumarPublished in: ACAI (2011)
Keyphrases
- distributed environment
- automated verification
- distributed systems
- distributed databases
- distributed computing
- model checking
- intelligent agents
- highly distributed
- distributed data mining
- peer to peer
- formal verification
- peer to peer networks
- programming language
- automated reasoning
- open source
- multi agent systems
- multithreading
- mining of association rules
- database
- provide efficient solutions
- source code
- natural language
- search algorithm
- database systems
- web services
- artificial intelligence