First International Competition on Software for Runtime Verification.
Ezio BartocciBorzoo BonakdarpourYliès FalconePublished in: RV (2014)
Keyphrases
- international competition
- software tools
- software architecture
- computer systems
- commercial software
- software systems
- formal methods
- software development
- source code
- decision trees
- artificial intelligence
- software package
- neural network
- case study
- databases
- software projects
- social networks
- software developers
- hardware design
- genetic algorithm
- asynchronous circuits