Solving the First Verified Software Competition Problems Using PVS.
Sam OwreNatarajan ShankarPublished in: Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Keyphrases
- solving problems
- solving complex
- combinatorial optimisation
- problems involving
- software development
- software systems
- quadratic optimization problems
- neural network
- sparse linear systems
- maintenance activities
- resource constrained project scheduling problem
- search heuristics
- test suite
- software tools
- combinatorial optimization
- source code
- genetic algorithm