zweidimensionales bewegtes Bild
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
- Location
-
Hannover TIB
- Extent
-
119MB, 00:17:16:11 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021 ; (Jan. 2021)
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
Ponzio, Pablo
Godio, Ariel
Frias, Marcelo
Arroyo, Marcelo Daniel
Aguirre, Nazareno
- DOI
-
10.5446/55072
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Ponzio, Pablo
- Godio, Ariel
- Frias, Marcelo
- Arroyo, Marcelo Daniel
- Aguirre, Nazareno
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (12)
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Efficient distributed bounded property checking
Bounded Model Checking for Hyperproperties
A coverage measure for bounded model checking
Theory and Implementation of Software Bounded Model Checking
Verifikation von systemnaher Software mittels Bounded Model Checking
On the (un-)decidability of model checking resource-bounded agents
Tight bounds for blind search on the integers
An asymptotically tight bound for the Davenport constant
Consistency of Circuit Lower Bounds with Bounded Theories
Tight bounds on the descriptional complexity of regular expressions
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Efficient distributed bounded property checking
Bounded Model Checking for Hyperproperties
A coverage measure for bounded model checking
Theory and Implementation of Software Bounded Model Checking
Verifikation von systemnaher Software mittels Bounded Model Checking
On the (un-)decidability of model checking resource-bounded agents
Tight bounds for blind search on the integers
An asymptotically tight bound for the Davenport constant
Consistency of Circuit Lower Bounds with Bounded Theories
Tight bounds on the descriptional complexity of regular expressions
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Efficient distributed bounded property checking
Bounded Model Checking for Hyperproperties
A coverage measure for bounded model checking
Theory and Implementation of Software Bounded Model Checking
Verifikation von systemnaher Software mittels Bounded Model Checking
On the (un-)decidability of model checking resource-bounded agents
Tight bounds for blind search on the integers
An asymptotically tight bound for the Davenport constant
Consistency of Circuit Lower Bounds with Bounded Theories