Democratization of Formal Verification with Collective Intelligence.
Ziyad HannaPublished in: FMCAD (2015)
Keyphrases
- formal verification
- collective intelligence
- model checking
- model checker
- social search
- bounded model checking
- social networking
- computational collective intelligence
- swarm intelligence
- automated verification
- open innovation
- social web
- program slicing
- symbolic model checking
- temporal logic
- social media
- honey bee
- machine learning
- information foraging
- artificial neural networks
- artificial intelligence
- genetic algorithm