A computer-algebraic approach to formal verification of data-centric low-level software.
Oliver MarxCarlos VillarragaDominik StoffelWolfgang KunzPublished in: MEMOCODE (2016)
Keyphrases
- formal verification
- data centric
- low level
- model checking
- computer systems
- program slicing
- bounded model checking
- data management
- model checker
- high level
- automated verification
- business processes
- information management
- symbolic model checking
- data driven
- software development
- distributed systems
- application development
- routing protocol
- software architecture
- temporal logic
- software engineering
- wireless sensor networks
- xml schema
- data representation
- information integration
- database
- management system
- feature space
- website
- data mining
- data sets