Top

International Journal on Software Tools for Technology Transfer

Published in:

01-11-1999 | Special section on model checking

State space reduction using partial order techniques

Authors: E.M. Clarke, O. Grumberg, M. Minea, D. Peled

Published in: International Journal on Software Tools for Technology Transfer | Issue 3/1999

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

previous article Analysis and verification of real-time systems using quantitative symbolic algorithms

next article Model checking: a hardware design perspective

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Title: State space reduction using partial order techniques
Authors: E.M. Clarke
O. Grumberg
M. Minea
D. Peled
Publication date: 01-11-1999
Publisher: Springer-Verlag
Published in: International Journal on Software Tools for Technology Transfer / Issue 3/1999
Print ISSN: 1433-2779
Electronic ISSN: 1433-2787
DOI: https://doi.org/10.1007/s100090050035

Springer Professional

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 3/1999

Pragmatics of model checking: an STTT special section

Partial model checking of modal equations: A survey

Programming in FISh

Model checking: a hardware design perspective

Analysis and verification of real-time systems using quantitative symbolic algorithms

Local model checking and protocol analysis

Premium Partner