IC3 software model checking

Lange, Tim Felix; Neuhäußer, Martin R.; Noll, Thomas; Katoen, Joost-Pieter

doi:10.1007/s10009-019-00547-x

IC3 software model checking

Lange, Tim Felix^RWTH* ; Neuhäußer, Martin R. ; Noll, Thomas^RWTH* ; Katoen, Joost-Pieter (Corresponding author)^RWTH*

In
SPIN 2018

In
International journal on software tools for technology transfer 22(2), Seiten/Artikel-Nr.:135-161

2020 & 2019

Konferenz/Event:25. International Symposium on Model Checking Software , Málaga , Spain , SPIN 2018 , 2018-06-20 - 2018-06-22

ImpressumBerlin : Springer

ISSN1433-2787

First Online: 05 November 2019

Online
DOI: 10.1007/s10009-019-00547-x
10.1007/s10009-019-00547-x

Einrichtungen

Thematische Einordnung (Klassifikation)
DDC: 004

Dokumenttyp
Journal Article/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85074865371
WOS Core Collection: WOS:000494510600001
OpenAlex: W2984738788

Interne Identnummern
RWTH-2019-10874
Datensatz-ID: 772976

Beteiligte Länder
Germany

Lizenzstatus der Zeitschrift

Related:

Dissertation / PhD Thesis/Report/Book Lange, T. F.RWTH* ; Katoen, J.-P. (Thesis advisor)RWTH* ; Weissenbacher, G. (Thesis advisor) ; Neuhäußer, M. R. (Thesis advisor)
IC3 software model checking
Aachen, Aachener Informatik-Berichte 2019-02, 1 Online-Ressource (viii, 187 Seiten) : Illustrationen (2018) [10.18154/RWTH-2019-01994]2018 = Dissertation, RWTH Aachen University, 2018 OpenAccess Files BibTeX | EndNote: XML, Text | RIS

; Clarivate Analytics Master Journal List ; Current Contents - Engineering, Computing and Technology ; DEAL Springer ; Ebsco Academic Search ; Essential Science Indicators ; IF < 5 ; IF < 5 ; JCR ; Nationallizenz