zweidimensionales bewegtes Bild
Verifying Array Manipulating Programs with Full-Program Induction
- Location
-
Hannover TIB
- Extent
-
28MB, 00:16:08:05 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
Unadkat, Divyesh
Chakraborty, Supratik
Gupta, Ashutosh
- DOI
-
10.5446/55021
- 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
- Unadkat, Divyesh
- Chakraborty, Supratik
- Gupta, Ashutosh
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (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
Verifying OPAL, Pt. 1.. Verifying in the small
Manipulating Measurements
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
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
Verifying OPAL, Pt. 1.. Verifying in the small
Manipulating Measurements
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
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
Verifying OPAL, Pt. 1.. Verifying in the small
Manipulating Measurements
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
Induction-based Verification of Synchronous and Hybrid Programs