Beschreibung
InhaltsangabeModel checking.- Applications of formal methods.- Complex systems.- Static analysis.- Symbolic execution.- Requirements and specifications.- Probabilistic and statistical analysis.- Theorem proving.
Autorenporträt
InhaltsangabeModel checking.- Applications of formal methods.- Complex systems.- Static analysis.- Symbolic execution.- Requirements and specifications.- Probabilistic and statistical analysis.- Theorem proving.