zweidimensionales bewegtes Bild
Automated Verification of Parallel Nested DFS
- Standort
-
Hannover TIB
- Umfang
-
367MB, 00:15:39:20 (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)
- Schlagwort
-
Parallel graph searching
Concurrency verification
Model checking
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Oortwijn, Wytse
Huisman, Marieke
Joosten, Sebastiaan
Pol, Jaco van de
- DOI
-
10.5446/55012
- 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
- Oortwijn, Wytse
- Huisman, Marieke
- Joosten, Sebastiaan
- Pol, Jaco van de
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Piecewise execution of nested data-parallel programs
Formal Verification in Automated Manufacturing
Formal verification in automated manufacturing
"DFS
D.F.S
Highly Automated Formal Verification of Arithmetic Circuits
"DFS! "TASE!
dfS
G.L.L. | D.F.S
"DFS! TASE
TASE DFS
Parallel algorithms for verification of large systems
Piecewise execution of nested data-parallel programs
Formal Verification in Automated Manufacturing
Formal verification in automated manufacturing
"DFS
D.F.S
Highly Automated Formal Verification of Arithmetic Circuits
"DFS! "TASE!
dfS
G.L.L. | D.F.S
"DFS! TASE
TASE DFS
Parallel algorithms for verification of large systems
Piecewise execution of nested data-parallel programs
Formal Verification in Automated Manufacturing
Formal verification in automated manufacturing
"DFS
D.F.S
Highly Automated Formal Verification of Arithmetic Circuits
"DFS! "TASE!
dfS
G.L.L. | D.F.S
"DFS! TASE
TASE DFS