Titlebook: Automated Theorem Proving in Software Engineering; Johann M. Schumann Book 2001 Springer-Verlag Berlin Heidelberg 2001 Automated Theorem P

保存

Arctic

vascular

首創(chuàng)精神

評(píng)論性

Conclusions,on of automated theorem provers in the area of software engineering. Whenever formal methods (or formal methods tools) are used in a software development process, proof tasks arise which have to be processed by means of deduction, for example by an automated theorem prover..Practical application of

發(fā)酵劑

flimsy

Gemma Riera,Teresa Segués,José Ramón Lagofrom application domains within the area of Software Engineering. Their purpose is to show, how the specific techniques and methods adapted and developed around the “naked” automated prover work, and how they influence the applicability of such a system.

Lamina

諂媚于人

Case Studies,from application domains within the area of Software Engineering. Their purpose is to show, how the specific techniques and methods adapted and developed around the “naked” automated prover work, and how they influence the applicability of such a system.

惡意

https://doi.org/10.1007/978-3-662-22646-9Automated Theorem Proving; Extension; Formal Methods; Processing; Software Engineering; Software Reuse; So