| 000 | 01569nam a2200241 4500 | ||
|---|---|---|---|
| 001 | vtls002199960 | ||
| 003 | MY-SjTCS | ||
| 005 | 20200306153811.0 | ||
| 008 | 110218s2001 gw a 001 eng | ||
| 020 | _a3540415238 | ||
| 039 | 9 |
_a201909201114 _bummi _c201102181757 _dVLOAD _y200407271928 _zVLOAD |
|
| 082 | 0 | 4 |
_a005.14 _bSYS |
| 245 | 0 | 0 |
_aSystems and software verification : _bmodel-checking techniques and tools / _cB. Berard ... [et al.]. |
| 260 |
_aBerlin : _bSpringer, _cc2001 |
||
| 300 |
_axii, 190 p. : _bill. ; _c24 cm. |
||
| 500 | _aUpdated version of the French language edition : "Verification de logicals. Techniques et outils du model-checking", coordonne par Philippe Schnoebelen - Verso of t.p. | ||
| 500 | _aWith 67 figures | ||
| 505 | 0 | _aPt. I. Principles and Techniques. - Introduction. 1. Automata. 2. Temporal Logic. 3. Model Checking. 4. Symbolic Model Checking. 5. Timed Automata. - Pt. II. Specifying With Temporal Logic. - Introduction. 6. Reachability Properties. 7. Safety Properties. 8. Liveness Properties. 9. Deadlock-freeness. 10. Fairness Properties. 11. Abstraction Methods. - Pt. III. Some Tools. 12. SMV - Symbolic Model Checking. 13. Spin - Communicating Automata. 14. Design/CPN - Coloured Petri Nets. 15. Uppaal - Timed Systems. 16. Kronos - Model Checking of Real-time Systems. 17. Hytech - Linear Hybrid Systems. - Main Bibliography. - Index. | |
| 650 | 0 |
_aComputer software _xVerification. _9202835 |
|
| 650 | 0 |
_aComputer systems _xVerification. _9202836 |
|
| 700 | 1 |
_aBerard, Beatrice. _9202837 |
|
| 920 | _aCIT(DIP) : 540081 | ||
| 999 |
_c21942 _d21942 |
||