Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems.
Radu CalinescuCarlo GhezziKenneth JohnsonMauro PezzèYasmin RafiqGiordano TamburrelliPublished in: IEEE Trans. Reliab. (2016)
Keyphrases
- software systems
- quality of service
- formal verification
- confidence intervals
- qos requirements
- software engineering
- response time
- source code
- model checking
- dynamic reconfiguration
- resource management
- software development
- software components
- sample size
- ip networks
- test set
- markov chain
- web services
- software architecture
- functional requirements
- software testing
- qos parameters
- multi agent systems
- monte carlo
- artificial intelligence
- open source
- reinforcement learning
- machine learning
- real time