A novel quantitative evaluation approach for software project schedules using statistical model checking.
Dehui DuMingsong ChenXiao LiuYun YangPublished in: ICSE Companion (2014)
Keyphrases
- quantitative evaluation
- model checking
- software projects
- temporal logic
- ground truth
- software development
- software engineering
- source code
- temporal properties
- model checker
- formal specification
- formal verification
- software project management
- project management
- automated verification
- verification method
- formal methods
- computation tree logic
- software development effort
- transition systems
- pspace complete
- epistemic logic
- symbolic model checking
- effort estimation
- bounded model checking
- reachability analysis
- software systems
- quality assessment
- timed automata
- development process
- database
- asynchronous circuits
- reactive systems
- concurrent systems
- software development projects
- linear temporal logic