Wyniki wyszukiwania:

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,

visualization, and debugging. All of them are realized in the state-of-art

deductive verification framework KeY.

This book is the definitive guide to KeY that lets you explore the full

potential of deductive software verification in practice. It...

After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad...