Syntactic-semantic incrementality for agile verification.
Domenico BianculliAntonio FilieriCarlo GhezziDino MandrioliPublished in: Sci. Comput. Program. (2015)
Keyphrases
- syntactic semantic
- dependency parsing
- model checking
- knowledge base
- genetic algorithm
- formal methods
- software development
- software engineering
- project management
- face verification
- information technology
- learning environment
- supply chain management
- formal verification
- high security
- verification method
- concurrent systems
- agile software development
- data mining