F-Soft: Software Verification Platform.
Franjo IvancicZijiang YangMalay K. GanaiAarti GuptaIlya ShlyakhterPranav AsharPublished in: CAV (2005)
Keyphrases
- real time
- real world
- web environment
- rapid prototyping
- mobile applications
- control system
- multiresolution
- information technology
- communication protocol
- distributed architecture
- evolutionary algorithm
- lower bound
- preprocessing
- multi agent
- decision trees
- multimedia
- image processing
- web pages
- information systems
- social networks