*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 151*number_thousands_separator*981

1

Computer Aided Verification
Piskac, Ruzica ; Rakamarić, Zvonimir

Computer Science Informatics Conference Proceedings Research Applications Artificial intelligence
*eBook*
2

*This result is not displayed to guests*

3

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

Computer Science - Logic... Computer Science - Data...
*Report*
4

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

*Academic Journal*
5

Computer Aided Verification
Gurfinkel, Arie ; Ganesh, Vijay

Computer Science Informatics Conference Proceedings Research Applications Software Engineering
*eBook*
6

Computer Aided Verification
Enea, Constantin ; Lal, Akash

architecture verificatio... artificial intelligence computer programming distributed computer sys... formal logic embedded systems
*eBook*
7

*This result is not displayed to guests*

8

*This result is not displayed to guests*

9

*This result is not displayed to guests*

10

Computer Aided Verification
Shoham, Sharon ; Vizel, Yakir

architecting architecture verificatio... artificial intelligence computer programming computer science computer systems
*eBook*
11

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

architecture verificatio... artificial intelligence computer programming distributed computer sys... distributed systems embedded systems
*eBook*
12

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

Computer Science - Compu... Computer Science - Logic...
*Report*
13

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

*Periodical*
14

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

Software Engineering Theory of Computation Artificial Intelligence Computer Systems Organiz... Computer Hardware Simulation and Modeling
*eBook*
15

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

*Book*
16

*This result is not displayed to guests*

17

A Computer Aided Verification Process for Engineered Systems
Romero, Victor ; Pinquié, Romain ; Noël, Frédéric ; et al.
Conférence Internationale Génie Industriel QUALITA (CIGI) 2021 ; https://hal.science/hal-03531044 ; Conférence Internationale Génie Industriel QUALITA (CIGI) 2021, May 2021, Grenoble, France

Grenoble France Model based systems engi... Verification Virtual Reality VR Human-In-the-Loop Simula...
*Conference*
18

Computer Aided Verification
Chockler, Hana ; Weissenbacher, Georg

Computer science Computer logic Software engineering Artificial intelligence Mathematical logic Algorithms
*eBook*
19

Computer Aided Verification
Dillig, Isil ; Tasiran, Serdar

Computer science Software engineering Programming languages (E... Computers Artificial intelligence Computer simulation
*eBook*
20

Computer Aided Verification ; 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I
Gurfinkel, Arie ; Ganesh, Vijay
Lecture Notes in Computer Science ; ISSN 0302-9743 1611-3349 ; ISBN 9783031656262 9783031656279

*Book*

*Filter*