Výsledky vyhľadávania - architecture verification and validation

Computer Aided Verification Part II: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings Autor Shoham, Sharon, Vizel, Yakir

“…This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022…”
Získať plný text

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II Autor Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

“…; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II…”
Získať plný text

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I Autor Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

“…; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II…”
Získať plný text

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II Autor Enea, Constantin, Lal, Akash

“…The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023…”
Získať plný text

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III Autor Enea, Constantin, Lal, Akash

“…The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023…”
Získať plný text

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I Autor Enea, Constantin, Lal, Akash

“…The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023…”
Získať plný text

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II Autor Groote, Jan Friso, Larsen, Kim Guldstrand

“… The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks…”
Získať plný text

Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings Autor Johnsen, Einar Broch, Wimmer, Manuel

“… software engineering as an engineering discipline, requirements engineering, software architectures…”
Získať plný text

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I Autor Groote, Jan Friso, Larsen, Kim Guldstrand

“… The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks…”
Získať plný text

Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings Autor Guerra, Esther, Stoelinga, Mariëlle

“…This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took…”
Získať plný text

Europa Clipper Payload Verification and Validation: Early Architecture and Implementation Autor Jones-Wilson, Laura, Cooley, Paige, Benitez, Veronica, Jackson, Maddalena, Srivastava, Priyanka

“… As the project proceeds through Phase C, we are building confidence in the system's ability to achieve these science goals by implementing a rigorous payload verification and validation (V&V) program…”
Získať plný text

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I Autor Shoham, Sharon, Vizel, Yakir

“…This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022…”
Získať plný text

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II Autor Shoham, Sharon, Vizel, Yakir

“…This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022…”
Získať plný text

Verification and Validation of ITER Interlock System Fast Architecture according to IEC 61508 standard Autor Garcia-Siguero, I., Carpeno, A., Barrera, E., Karkinsky, D., Diaz, Ignacio-Prieto, Marqueta, A.

“…The ITER Interlock Control System (ICS) requires the application of the IEC 61508 standard for all mission-critical (known as investment protection) control…”
Získať plný text

Verification and Validation of Microgrid Control Architectures on a Controller Hardware in the Loop Testbed Autor Nigam, Siddhartha

“… In this document, we provide a pathway towards verification and validation of such microgrid control architectures on a controller hardware…”
Získať plný text

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II Autor Lahiri, Shuvendu K, Wang, Chao

“…The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020…”
Získať plný text

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I Autor Lahiri, Shuvendu K, Wang, Chao

“…The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020…”
Získať plný text

Verification and validation of business processes in business architecture using the formal method with V-Model concept Autor Dila, Revyolla Ananta, Lubis, Muharman, Ramadani, Luthfi

“… To be able to find out the possibility that there is an error and quality in the company's business processes, it is necessary to carry out verification and validation…”
Získať plný text

Validation of Muscle Fiber Architecture of the Human Tongue Revealed by Diffusion Magnetic Resonance Imaging With Histology Verification Autor Liang, Xiao, Elsaid, Nahla M H, Jiang, Li, Roys, Steve, Puche, Adam C, Gullapalli, Rao P, Stone, Maureen, Prince, Jerry L, Zhuo, Jiachen

“…The goal of this study is to validate the muscle architecture derived from both ex vivo and in vivo diffusion-weighted magnetic resonance imaging (dMRI…”
Zistit podrobnosti o prístupe

Digital Twin Architecture for Autonomous Driving Validation and Verification Autor Kizilirmak, Orkun, Kaplan, Emre, Guzay, Cagri

“… In this work, we propose a digital twin architecture for abstraction and monitoring of the vehicles in order to accomplish validation and verification in a virtual environment to reduce cost and development time. Our architecture enables near real-time monitoring represented in an abstracted virtual environment and all kinds of vehicles can be represented our well-crafted software-based simulator…”
Získať plný text