Ensuring Correctness at the Application Level: a Software Framework Approach

Eloisa Bentivegna Gabrielle Allen Oleg Korobkin Erik Schnetter

Published in: CoRR (2011)

Keyphrases

application level
main contribution
computer systems
analysis tool
software development
operating system
information processing
artificial intelligence
intelligent systems
software architecture
network services