• Suche: Computer Aided Verification

Treffer 1 - 20 von 138.696

1

Computer Aided Verification
Piskac, Ruzica ; Rakamarić, Zvonimir

Computer Science Informatics Conference Proceedings Research Applications Artificial intelligence …
E-Book
Merkliste
2

Dieses Ergebnis kann Gästen nicht angezeigt werden.

3

Computer-Aided Verification of P/NP Proofs: A Survey and Discussion
Rass, S. ; Jakobitsch, M. ; Haan, S. ; et al.
IEEE Access Access, IEEE. 12:13513-13524 2024

Fachzeitschrift
Merkliste
4

Leveraging the Power of Graph Algorithms: Efficient Algorithms for Computer-Aided Verification
Svozil, Alexander

Computer Science - Logic... Computer Science - Data...
Report
Merkliste
5

Computer Aided Verification
Gurfinkel, Arie ; Ganesh, Vijay

Computer Science Informatics Conference Proceedings Research Applications Software Engineering …
E-Book
Merkliste
6

A user-centric computer-aided verification process in a virtuality-reality continuum
Romero, Victor ; Pinquié, Romain ; Noël, Frédéric
In Computers in Industry September 2022 140

Fachzeitschrift
Merkliste
7

Computer-aided verification of matrix Riccati algorithms
Tsachouridis, Vassilios A. ; Giantamidis, Georgios
2019 IEEE 58th Conference on Decision and Control (CDC) Decision and Control (CDC), 2019 IEEE 58th Conference on. :8073-8078 Dec, 2019

Konferenz
Merkliste
8

Computer Aided Verification
Enea, Constantin ; Lal, Akash

architecture verificatio... artificial intelligence computer programming distributed computer sys... formal logic embedded systems …
E-Book
Merkliste
9

Preface of the special issue on the Conference on Computer-Aided Verification 2022.
Shoham, Sharon ; Vizel, Yakir
Formal Methods in System Design; Aug2025, Vol. 66 Issue 2, p131-133, 3p

SOFTWARE verification FORMAL methods (Computer... LEGACY systems CONFERENCES & convention... PREDICATE calculus COMPUTER systems …
Fachzeitschrift
Merkliste
10

Dieses Ergebnis kann Gästen nicht angezeigt werden.

11

Computer Aided Verification
Shoham, Sharon ; Vizel, Yakir

architecting architecture verificatio... artificial intelligence computer programming computer science computer systems …
E-Book
Merkliste
12

Computer Aided Verification
Silva, Alexandra ; Leino, K. Rustan M.

architecture verificatio... artificial intelligence computer programming distributed computer sys... distributed systems embedded systems …
E-Book
Merkliste
13

Computer-aided verification in mechanism design
Barthe, Gilles ; Gaboardi, Marco ; Arias, Emilio Jesús Gallego ; et al.

Computer Science - Compu... Computer Science - Logic...
Report
Merkliste
14

Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification
Henzinger, Monika
Lecture notes in computer science. 13660:292-305

Zeitschrift
Merkliste
15

Integrated computer-aided verification of turbine blade.
Tam, Juliana M. Y. ; Yu, K. M. ; Sun, R. L.
Computer-Aided Design & Applications. Oct2015, Vol. 12 Issue 5, p589-600. 12p.

Fachzeitschrift
Merkliste
16

Dieses Ergebnis kann Gästen nicht angezeigt werden.

17

Computer Aided Verification
Lahiri, Shuvendu K. ; Wang, Chao

Software Engineering Theory of Computation Artificial Intelligence Computer Systems Organiz... Computer Hardware Simulation and Modeling …
E-Book
Merkliste
18

Computer Aided Verification ; 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Piskac, Ruzica ; Rakamarić, Zvonimir
Lecture Notes in Computer Science ; ISSN 0302-9743 1611-3349 ; ISBN 9783031986840 9783031986857

Buch
Merkliste
19

Computer aided verification of Lamport's fast mutual exclusion algorithm using colored Petri nets and occurrence graphs with symmetries
Jorgensen, J.B. ; Kristensen, L.M.
IEEE Transactions on Parallel and Distributed Systems IEEE Trans. Parallel Distrib. Syst. Parallel and Distributed Systems, IEEE Transactions on. 10(7):714-732 Jul, 1999

Fachzeitschrift
Merkliste
20

Computer-aided verification
Clarke, E.M. ; Kurshan, R.P.
IEEE Spectrum IEEE Spectr. Spectrum, IEEE. 33(6):61-67 Jun, 1996

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

Filter