zweidimensionales bewegtes Bild

Automated Verification of Parallel Nested DFS

to connected objects

Digitalisierung: Hannover TIB

Attribution 3.0 Germany

Location: Hannover TIB

Extent: 367MB, 00:15:39:20 (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)

Keyword: Parallel graph searching
Concurrency verification
Model checking

Event: Veröffentlichung

(who): European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.

(when): 2021-01-01

Contributor: Oortwijn, Wytse
Huisman, Marieke
Joosten, Sebastiaan
Pol, Jaco van de

DOI: 10.5446/55012

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.

Show original at data provider

Object type

zweidimensionales bewegtes Bild

Associated

Oortwijn, Wytse
Huisman, Marieke
Joosten, Sebastiaan
Pol, Jaco van de
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.

Time of origin

2021-01-01

Other Objects (12)

Hochschulschrift

Piecewise execution of nested data-parallel programs

Formal Verification in Automated Manufacturing

Hochschulschrift

Formal verification in automated manufacturing

Graffiti | Streetart

"DFS

Graffiti | Streetart

D.F.S

Hochschulschrift

Highly Automated Formal Verification of Arithmetic Circuits

Graffiti | Streetart

"DFS! "TASE!

Graffiti | Streetart

dfS

Graffiti | Streetart

G.L.L. | D.F.S

Graffiti | Streetart

"DFS! TASE

Graffiti | Streetart

TASE DFS

Hochschulschrift

Parallel algorithms for verification of large systems

Hochschulschrift

Piecewise execution of nested data-parallel programs

Formal Verification in Automated Manufacturing

Hochschulschrift

Formal verification in automated manufacturing

Graffiti | Streetart