Towards a scalable software model checker for higher-order programs.
Ryosuke SatoHiroshi UnnoNaoki KobayashiPublished in: PEPM (2013)
Keyphrases
- higher order
- model checker
- formal methods
- model checking
- formal verification
- test suite
- temporal logic
- symbolic model checking
- description language
- software development
- control flow
- general purpose
- software systems
- test cases
- software architecture
- business processes
- software components
- ai planning
- domain specific
- specification language
- expert systems
- search algorithm