Login / Signup
A Framework for Automated Verification in Software Escrow.
Elisabeth Weigl
Johannes Binder
Stephan Strodl
Barbara Kolany
Daniel Draws
Andreas Rauber
Published in:
iPRES (2013)
Keyphrases
</>
main contribution
software architecture
software development
theoretical framework
conceptual framework
automated verification
expert systems
markov random field
neural network
programming language
source code
model checking
design patterns
software design
core components