Towards an Approach for the Verification of Downtimeless System Evolution.

Christoph Sünder Bernard Favre-Bulle Valeriy Vyatkin

Published in: ETFA (2006)

Keyphrases

formal verification
model checking
database
real time
evolution process
verification method
data sets
e learning
optimal solution
special case
digital images
temporal logic
formal methods
schema evolution
signature verification