Interactive Theorem Proving in Software Engineering

Name: Interactive Theorem Proving in Software Engineering
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 9783836457699
Price: 19081 HUF
Availability: InStock

Szerző: Florian Kammüller

Nyelv:

Kötés: Puha kötésű

Kiadó: VDM Verlag Dr. Mueller E.K.

Elérhetőség: Beszállítói készleten

Küldés 9-15 napon belül

19 081 Ft

Interactive theorem proving is the modern way of formalizingmathematics using a computer as a proof...

Információk a könyvről

Szerző

Florian Kammüller

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2008

oldal

120

EAN

9783836457699

ISBN

3836457695

Enbook ID

06982395

Kiadó

VDM Verlag Dr. Mueller E.K.

Súly

186

Méretek

229 x 154 x 10

Teljes leírás

Interactive theorem proving is the modern way of formalizingmathematics using a computer as a proof assistant, helping solvesimple tasks and keeping an order on the proofs. Still, it is atedious task, as such mechanical proofs contain detail that humansdo not want to see. When it comes to the verification of real worldapplications in software engineering, as required for the assuranceof safety and security properties of embedded systems, the level ofdetail becomes even more annoying. In fact, it is a gargantuan taskto prove a program correct or prove that an implementation conformsto its UML-specification. The sheer mass of proof obligations alone- apart from the hidden subtlety of such challenges - obstructsquality assurance of software artifacts with interactive theoremprovers. This book draws a line to show up how far current cuttingedge research has succeeded in tackling this long standing quest.Using examples from algorithm development, Java bytecodeverification and UML state machine analysis the author introducescurrent trends in interactive theorem proving technology using Coq,Isabelle, and model checking.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Interactive Theorem Proving in Software Engineering

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták