zweidimensionales bewegtes Bild
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
- Standort
-
Hannover TIB
- Umfang
-
119MB, 00:17:16:11 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021 ; (Jan. 2021)
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Ponzio, Pablo
Godio, Ariel
Frias, Marcelo
Arroyo, Marcelo Daniel
Aguirre, Nazareno
- DOI
-
10.5446/55072
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Ponzio, Pablo
- Godio, Ariel
- Frias, Marcelo
- Arroyo, Marcelo Daniel
- Aguirre, Nazareno
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (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