Cover Image

Deductive Software Verification – The KeY Book From Theory to Practice /

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visuali...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Ahrendt, Wolfgang. (Editor, http://id.loc.gov/vocabulary/relators/edt), Beckert, Bernhard. (Editor, http://id.loc.gov/vocabulary/relators/edt), Bubel, Richard. (Editor, http://id.loc.gov/vocabulary/relators/edt), Hähnle, Reiner. (Editor, http://id.loc.gov/vocabulary/relators/edt), Schmitt, Peter H. (Editor, http://id.loc.gov/vocabulary/relators/edt), Ulbrich, Mattias. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edition:1st ed. 2016.
Series:Programming and Software Engineering ; 10001
Subjects:
Software engineering.
Computer logic.
Mathematical logic.
Programming languages (Electronic computers).
Artificial intelligence.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence.
Online Access:https://doi.org/10.1007/978-3-319-49812-6

Internet

https://doi.org/10.1007/978-3-319-49812-6

Similar Items