Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving.
Nils TimmStefan GrunerPrince SibandaPublished in: FSEN (2017)
Keyphrases
- software systems
- model checking
- sat solving
- temporal logic
- sat solvers
- software engineering
- source code
- software development
- finite state
- formal specification
- software components
- software architecture
- search strategies
- search algorithm
- constraint satisfaction
- sat problem
- integer linear programming
- dynamic programming
- software testing
- formal methods
- symmetry breaking
- orders of magnitude
- open source
- optimal solution
- tabu search
- simulated annealing
- multi agent systems
- machine learning
- distributed systems