An Approach to Automating the Verification of Compact Parallel Coordination Programs I.
Boris D. LubachevskyPublished in: Acta Informatica (1984)
Keyphrases
- symbolic execution
- multi agent
- parallel processing
- high level programming language
- cooperative
- automatic programming
- model checking
- parallel computing
- parallel implementation
- multi agent systems
- sorting algorithms
- shared memory
- multiagent systems
- computer programs
- face verification
- general purpose
- hardware designs
- verification method
- parallel execution
- java bytecode
- multi agent coordination
- cooperative multiagent systems
- multi agent reinforcement learning
- asynchronous circuits
- multi threaded
- fingerprint verification
- database
- real time