A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler.

Published in: ICSE (2007)

Keyphrases

computing systems
case study
evolutionary algorithm
intelligent systems
computer systems
complex systems
neural network
information retrieval
management system
general purpose
distributed systems
logic programs
logic programming
learning systems
model checking