> Detailanzeige

Clarke, Edmund M. [VerfasserIn]; Grumberg, Orna [VerfasserIn]; Peled, Doron [VerfasserIn]

Model checking

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: Buch
  • Titel: Model checking
  • Enthält: Modeling systems -- Trmporal logics -- Model checking -- Binary decision diagram -- Symbolic model checking -- Model checking for the u-calculus -- Model checking in practice -- Model checking and automata theory -- Partial order reduction -- Equivalences and preorders between structures -- Compositional reasoning -- Abstraction -- Symmetry -- Infinite families of finite-state systems -- Discrete real-time and quantitative temporal analysis -- Continuous real time.
  • Beteiligte: Clarke, Edmund M. [VerfasserIn]; Grumberg, Orna [VerfasserIn]; Peled, Doron [VerfasserIn]
  • Erschienen: Cambridge, Mass.; London: MIT, c 1999
  • Umfang: XIV, 314 S.; graph. Darst; 24 cm
  • Sprache: Englisch
  • ISBN: 9780262032704; 0262032708
  • RVK-Notation: ST 130 : Allgemeines
    ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc.
  • Schlagwörter: Model Checking > Programmverifikation > Hardwareverifikation
  • Entstehung:
  • Anmerkungen: Literaturverz. S. [297] - 307
    Hier auch später erschienene, unveränderte Nachdrucke***Unchanged reprints that were published later are included here

Exemplare

(0)

Bereichsbibliothek DrePunct – Magazin

  • Signatur: R2017 8 2786
  • Barcode: 31002426
  • Status: Ausleihbar, bitte bestellen

Bereichsbibliothek DrePunct

  • Signatur: ST 130 C597
  • Barcode: 31001374

Bereichsbibliothek DrePunct

  • Signatur: ST 130 C597
  • Barcode: 31680893

Bereichsbibliothek DrePunct

  • Signatur: ST 130 C597
  • Barcode: 34777328