1
Published 2007
Table of Contents: ... C Programs: A Deductive Approach -- A Taxonomy for Modelling Safety Related Architectures...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... with Cooperating Analysis Plugins -- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Approach -- Rough Sets Theory for Multi-Objective Optimization Problems -- How to Acquire and Structuralize...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Reconstruction of a System for Experimental Mathematics -- Context Aware Calculation and Deduction -- Towards...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...
View full text
Electronic eBook