A characterisation of verification tools for software defined networks.
Leticia LavadoLaura PanizoMaría-del-Mar GallardoPedro MerinoPublished in: J. Reliab. Intell. Environ. (2017)
Keyphrases
- software tools
- formal methods
- software developers
- software packages
- software systems
- hardware platforms
- graphical user interfaces
- commercial software
- software engineers
- social networks
- software platform
- software development
- program understanding
- design patterns
- software suite
- software environment
- end users
- technical issues
- analysis tool
- software architecture
- software components
- computer systems
- decision support
- software design
- computer aided software engineering
- formal verification
- model checking
- free software
- programming tool
- application programming interface
- neural network
- programming environments
- educational software
- development methodologies
- design concepts
- information systems
- user interface
- user friendly
- computational tools
- design tools
- computer networks