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

Formal Methods in System Design

Ausgabe 2/2022

Inhalt (7 Artikel)

Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking

G. Cabodi, P. E. Camurati, M. Palena, P. Pasini

Control strategies for off-line testing of timed systems

Léo Henry, Thierry Jéron, Nicolas Markey

LTL model checking of self modifying code

Tayssir Touili, Xin Ye

Functional synthesis via input–output separation

Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi

Open Access

Specifiable robustness in reactive synthesis

Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman

Assumption-based Runtime Verification

Alessandro Cimatti, Chun Tian, Stefano Tonetta

Open Access Correction

Correction: Parameterized verification of leader/follower systems via first-order temporal logic

G. Kourtis, C. Dixon, M. Fisher, A. Lisitsa

Feb 22
Ausgabe: 1/2022
Special Issue on CAV 2017
Jun 22
Ausgabe: 3/2022
Special issue 'In Memory of Ed Clarke'

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr