real world applications / signature applications / security protocols / /
Organization
German Reasearch Center for Artificial Intelligence Outline / German Reasearch Center for Artificial / Proof Tree German Reasearch Center for Artificial Intelligence Design Principles Assistance / Conclusions German Reasearch Center for Artificial Intelligence General Architecture Construction / Conclusions German Reasearch Center / Conclusions German Reasearch Center for Artificial Intelligence Lightweight/Heavyweight Formal Methods Lightweight Heavyweight / German Reasearch Center / German Reasearch Center for Artificial Intelligence Plan for the Talk Questions / Bruno Langenstein German Research Centre / /
Intelligent Support for Systems Verification Werner Stephan, Lassaad Cheikhrouhou, Bruno Langenstein German Research Centre for Artificial Intelligence April 29, 2011