Systems and Software Verification : Model-Checking Techniques and Tools / Berard, B./ Bidoit, M./ Finkel, A./ Laroussinie, F./ Petit, A./ Petrucci, L./ Schnoebelen, P./ UEbersetzung: McKenzie, P.

Systems and Software Verification : Model-Checking Techniques and Tools

ポイントキャンペーン

Systems and Software Verification : Model-Checking Techniques and Tools

Berard, B./ Bidoit, M./ Finkel, A./ Laroussinie, F./ Petit, A./ Petrucci, L./ Schnoebelen, P./ UEbersetzung: McKenzie, P.

Springer（2010/12発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Paperback:紙装版/ペーパーバック版
商品コード 9783642074783

Full Description

Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.