- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Incremental bounded model checking for embedded software ; day:22 ; month:2 ; year:2017 ; pages:1-21
Formal aspects of computing ; (22.2.2017), 1-21
- Klassifikation
-
Informatik
- Urheber
-
Schrammel, Peter
- Beteiligte Personen und Organisationen
-
Kroening, Daniel
Brain, Martin
Martins, Ruben
Teige, Tino
Bienmüller, Tom
SpringerLink (Online service)
- DOI
-
10.1007/s00165-017-0419-1
- URN
-
urn:nbn:de:1111-201703154654
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:49 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Schrammel, Peter
- Kroening, Daniel
- Brain, Martin
- Martins, Ruben
- Teige, Tino
- Bienmüller, Tom
- SpringerLink (Online service)
Ähnliche Objekte (12)
Theory and Implementation of Software Bounded Model Checking
Verifikation von systemnaher Software mittels Bounded Model Checking
Bounded incremental computation
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Bounded Model Checking for Hyperproperties
Efficient distributed bounded property checking
Verification of software for Contiki-based low-power embedded systems using software model checking
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
A coverage measure for bounded model checking
Bounded model checking for fixed-point digital filters
Model checking software : proceedings
Theory and Implementation of Software Bounded Model Checking
Verifikation von systemnaher Software mittels Bounded Model Checking
Bounded incremental computation
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Bounded Model Checking for Hyperproperties
Efficient distributed bounded property checking
Verification of software for Contiki-based low-power embedded systems using software model checking
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
A coverage measure for bounded model checking
Bounded model checking for fixed-point digital filters
Model checking software : proceedings
Theory and Implementation of Software Bounded Model Checking
Verifikation von systemnaher Software mittels Bounded Model Checking
Bounded incremental computation
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Bounded Model Checking for Hyperproperties
Efficient distributed bounded property checking
Verification of software for Contiki-based low-power embedded systems using software model checking
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
A coverage measure for bounded model checking
Bounded model checking for fixed-point digital filters