Building program construction and verification tools from algebraic principles.
Alasdair ArmstrongVictor B. F. GomesGeorg StruthPublished in: Formal Aspects Comput. (2016)
Keyphrases
- design principles
- software engineering
- design guidelines
- test cases
- computer programs
- learning algorithm
- model checking
- static analysis
- construction process
- symbolic execution
- search based software testing
- database
- hardware designs
- construction industry
- program understanding
- asynchronous circuits
- fault localization
- automatic construction
- source code
- end users