A Framework for Verification of Software with Time and Probabilities.

Marta Z. Kwiatkowska Gethin Norman David Parker

Published in: FORMATS (2010)

Keyphrases

probabilistic model
lightweight
real time
software architecture
software development
static analysis