• Suche: Verification of Sequential and Concurrent Programs

Treffer 1 - 20 von 24.512

1

Modular Verification of Concurrent Programs via Sequential Model Checking
Rasin, Dan ; Grumberg, Orna ; Shoham, Sharon

Computer Science - Progr...
Report
Merkliste
2

Concurrent verification for sequential programs
Wickerson, John Peter

004 Computer software--Verif...
Dissertation
Merkliste
3

Efficient Verification of Sequential and Concurrent C Programs
Software model checking
Chaki, S. ; Clarke, E. ; Groce, A. ; et al.
FORMAL METHODS IN SYSTEM DESIGN. 25(2/3):129-166

Konferenz
Merkliste
5

Commutativity in Automated Verification
Farzan, Azadeh
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2023 38th Annual ACM/IEEE Symposium on. :1-7 Jun, 2023

Konferenz
Merkliste
7

Verification of Sequential and Concurrent Programs
Gries, D. ; Schneider, F.B. ; Apt, K.R. (Krzysztof) ; et al.

E-Ressource
Merkliste
8

Verification of sequential and concurrent programs
Apt, K.R. (Krzysztof) ; Olderog, E.R. (Ernst-Rüdiger) ; Apt, K.R. (Krzysztof) ; et al.

E-Ressource
Merkliste
9

Dieses Ergebnis kann Gästen nicht angezeigt werden.

10

Dieses Ergebnis kann Gästen nicht angezeigt werden.

11

Dieses Ergebnis kann Gästen nicht angezeigt werden.

12

Verification of sequential and concurrent programs
Apt, K.R. (Krzysztof) ; Olderog, E.R. (Ernst-Rüdiger) ; Apt, K.R. (Krzysztof) ; et al.

E-Ressource
Merkliste
13

Interactive verification of concurrent systems using symbolic execution.
Bäumler, Simon ; Balser, Michael ; Nafz, Florian ; et al.
AI Communications. 2010, Vol. 23 Issue 2/3, p285-307. 23p. 2 Color Photographs, 7 Diagrams, 13 Charts, 1 Graph.

Fachzeitschrift
Merkliste
15

Verification of sequential and concurrent programs: 3rd ed.
Apt, K.R. ; de Boer, F.S. ; Olderog, E.R.
Apt , K R , de Boer , F S & Olderog , E R 2009 , Verification of sequential and concurrent programs: 3rd ed. Texts in computer science , London . https://doi.org/10.1007/978-1-84882-745-5

Buch
Merkliste
16

Verification of Sequential and Concurrent Programs. Krzysztof R. Apt Ernst-Rudiger Olderog
Mitchell, John C.
SIAM Review, 1993 Jun 01. 35(2), 330-331.

Rezension
Merkliste
17

Verification of Sequential and Concurrent Programs
Apt, K.R. ; Olderog, E.R.
Apt , K R & Olderog , E R 1997 , Verification of Sequential and Concurrent Programs . New York .

Buch
Merkliste
18

SCJ-Circus: Specification and refinement of Safety-Critical Java programs
Miyazawa, Alvaro ; Cavalcanti, Ana ; Wellings, Andy
In Science of Computer Programming 15 July 2019 181:140-176

Fachzeitschrift
Merkliste
19

Verification of Sequential and Concurrent Programs
Apt, Krzysztof R. ; Olderog, Ernst-Rüdiger
ISBN 9781475727166 9781475727142.

Buch
Merkliste
20

ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact)
Felix Suchert and Lisza Zeidler and Jeronimo Castrillon and Sebastian Ertel ; Suchert, Felix ; Zeidler, Lisza ; et al.

E-Ressource
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter