Výsledky vyhledávání - "Computer software Verification"

Principles of model checking Autor Baier, Christel, Katoen, Joost-Pieter

“…A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive…”
Získat plný text

Engineering dependable software systems Autor NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany), Broy, Manfred, Peled, Doron, Kalus, Georg

Získat plný text

Dependable Software Systems Engineering Autor Irlbeck, M, Peled, D, Pretschner, A

“…We are all increasingly dependent on software systems to run the technology we use every day, so we need these systems to be both reliable and safe.This book…”
Získat plný text

Software safety and security : tools for analysis and verification Autor NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany), Nipkow, Tobias, Grumberg, Orna, Hauptmann, Benedikt

“…: Foundations of Safety and Security, Applications of Safety Analysis and Security Analysis. Subjects covered include mechanized game-based proofs of security protocols…”
Získat plný text

Software and Systems Safety: Specification and Verification Autor Broy, M, Leuxner, C, Hoare, T

“…Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if…”
Získat plný text

SysML for Systems Engineering: A model-based approach Autor Holt, Jon, Perry, Simon

“…This new edition of this popular text has been fully updated to reflect SysML 1.3, the latest version of the standard, and the discussion has been extended to…”
Získat plný text