zweidimensionales bewegtes Bild
Verifying Array Manipulating Programs with Full-Program Induction
- Standort
-
Hannover TIB
- Umfang
-
28MB, 00:16:08:05 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (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
-
Unadkat, Divyesh
Chakraborty, Supratik
Gupta, Ashutosh
- DOI
-
10.5446/55021
- 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
- Unadkat, Divyesh
- Chakraborty, Supratik
- Gupta, Ashutosh
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Verifying concurrent programs under weak memory models
Expander : a system for testing and verifying functional logic programs
Induction of Linear Temporal Logic Programs
Induction of linear temporal logic programs
On the Decidability of Verifying LTL Properties of Golog Programs : Extended Version
Proving heap-manipulating programs with SPARK: The SPARK open-source proof tool for Ada now supports verifying pointer-based algorithms thanks to an ownership policy inspired by Rust
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
Manipulating Measurements
Verifying OPAL, Pt. 1.. Verifying in the small
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
Induction-based Verification of Synchronous and Hybrid Programs
The MAIN Shirt: A Textile-Integrated Magnetic Induction Sensor Array
Verifying concurrent programs under weak memory models
Expander : a system for testing and verifying functional logic programs
Induction of Linear Temporal Logic Programs
Induction of linear temporal logic programs
On the Decidability of Verifying LTL Properties of Golog Programs : Extended Version
Proving heap-manipulating programs with SPARK: The SPARK open-source proof tool for Ada now supports verifying pointer-based algorithms thanks to an ownership policy inspired by Rust
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
Manipulating Measurements
Verifying OPAL, Pt. 1.. Verifying in the small
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
Induction-based Verification of Synchronous and Hybrid Programs
The MAIN Shirt: A Textile-Integrated Magnetic Induction Sensor Array
Verifying concurrent programs under weak memory models
Expander : a system for testing and verifying functional logic programs
Induction of Linear Temporal Logic Programs
Induction of linear temporal logic programs
On the Decidability of Verifying LTL Properties of Golog Programs : Extended Version
Proving heap-manipulating programs with SPARK: The SPARK open-source proof tool for Ada now supports verifying pointer-based algorithms thanks to an ownership policy inspired by Rust
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
Manipulating Measurements
Verifying OPAL, Pt. 1.. Verifying in the small
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
Induction-based Verification of Synchronous and Hybrid Programs