Critical Systems: Formal Methods and Automated Verification, 1st ed. 2016 Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings Programming and Software Engineering Series
Coordonnateurs : ter Beek Maurice H., Gnesi Stefania, Knapp Alexander
Date de parution : 09-2016
Ouvrage de 247 p.
15.5x23.5 cm
Thème de Critical Systems: Formal Methods and Automated Verification :
Mots-clés :
dynamic analysis; formal methods; logic and verification; model checking; software testing and debugging; automata theory; Gaussian processes; grammars and context-free languages; linear type-systems; monitorability; monitoring algorithms; quantitative semantics; regular languages; runtime adaptation; software verification; spatio-temporal logic; transducers; Turing patterns; uncertainty; weighted graphs