Addressing Unbounded Parallelism in Verification of Software Components.
Jirí AdámekPublished in: SNPD (2006)
Keyphrases
- software components
- software systems
- software development
- building blocks
- software reuse
- software modules
- commercial off the shelf
- formal specification
- parallel processing
- java programs
- shared memory
- model checking
- web services
- parallel computation
- parallel execution
- component based architecture
- reusable components
- reinforcement learning
- semi automatic
- multi agent
- decision making
- databases