- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Classification
-
Informatik
- Creator
-
Schrammel, Peter
- Contributor
-
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
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:49 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Schrammel, Peter
- Kroening, Daniel
- Brain, Martin
- Martins, Ruben
- Teige, Tino
- Bienmüller, Tom
- SpringerLink (Online service)
Other Objects (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