Formal Methods for Autonomic and Swarm-based Systems.
Christopher A. RouffAmy VanderbiltWalter TruszkowskiJames L. RashMichael G. HincheyPublished in: ISoLA (Preliminary proceedings) (2004)
Keyphrases
- formal methods
- knowledge based systems
- safety critical
- formal analysis
- software engineering
- model checking
- process algebra
- formal specification
- reactive systems
- artificial intelligence
- particle swarm optimization
- temporal properties
- cooperative
- provably correct
- autonomic computing
- model checker
- swarm intelligence
- development lifecycle