Suchergebnisse - "formalization"
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- formal verification 5
- формальна верифікація 5
- IPCL 3
- UDC 004.415.52 3
- composition-nominative languages 3
- concurrent program 3
- interleaving 3
- УДК 004.415.52 3
- композиционно-номинативные языки 3
- композиційно-номінативні мови 3
- параллельная программа 3
- формальная верификация 3
- 004.89 2
- 159.95 2
- UDC 519.85 2
- behavior algebra 2
- commutative semi-group 2
- dialogue support 2
- formal model 2
- formal theory 2
- formalization 2
- image construction 2
- insertion modeling 2
- large language models 2
- linguistic image 2
- safety property proof 2
- software correctness 2
- УДК 004.93 2
- УДК 519.85 2
- великі мовні моделі 2
-
21
Peterson’s algorithm Total correctness proof in IPCL
Veröffentlicht in PROBLEMS IN PROGRAMMING (2018)
Volltext
Artikel -
22
Formal verification of deep neural networks
Veröffentlicht in PROBLEMS IN PROGRAMMING (2024)
Volltext
Artikel