Login / Signup
Witness validation and stepwise testification across software verifiers.
Dirk Beyer
Matthias Dangl
Daniel Dietsch
Matthias Heizmann
Andreas Stahlbauer
Published in:
Software Engineering (2016)
Keyphrases
</>
software systems
software tools
software development
software packages
software package
software design
source code
commercial software
software projects
software architecture
embedded systems
computer systems
user interface
data structure
case study
real world
real time