New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair.
Ruzica PiskacPublished in: SAS (2018)
Keyphrases
- java card
- source code
- software development
- software tools
- static analysis
- software systems
- model checking
- database
- formal methods
- network security
- computer systems
- formal verification
- asynchronous circuits
- software architecture
- program synthesis
- data entry
- software engineering
- bug localization
- file management
- verification method
- file structure
- file formats
- cd rom
- data flow
- software maintenance
- file system
- intrusion detection
- distributed systems
- user interface
- database systems
- neural network
- databases