Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben

International Journal on Software Tools for Technology Transfer

Ausgabe 2/2012

Regular Model Checking

Inhalt (7 Artikel)

Introduction

Regular model checking

Parosh Aziz Abdulla

RMC Regular Model Checking

Extrapolating (omega-)regular model checking

Axel Legay

RMC Regular Model Checking

Widening techniques for regular tree model checking

Ahmed Bouajjani, Tayssir Touili

RMC Regular Model Checking

Abstract regular (tree) model checking

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomáš Vojnar

RMC Regular Model Checking

Domain-specific regular acceleration

Bernard Boigelot

RMC Regular Model Checking

A lightweight regular model checking approach for parameterized systems

Giorgio Delzanno, Ahmed Rezine

RMC Regular Model Checking

Regular model checking for LTL(MSO)

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d’Orso, Mayank Saksena

Feb 12
Ausgabe: 1/2012
Jun 12
Ausgabe: 3/2012
Runtime Verification

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner

    Bildnachweise