Suchergebnisse - architecture verification and validation

Computer Aided Verification Part II: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings von 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 …”
Volltext

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

“… ; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II …”
Volltext

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

“… ; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II …”
Volltext

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II von 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 …”
Volltext

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III von 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 …”
Volltext

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I von 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 …”
Volltext

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 von Johnsen, Einar Broch, Wimmer, Manuel

“… software engineering as an engineering discipline, requirements engineering, software architectures …”
Volltext

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 von 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 …”
Volltext

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 von 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 …”
Volltext

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 von 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 …”
Volltext

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I von 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 …”
Volltext

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II von 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 …”
Volltext

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I von 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 …”
Volltext

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II von 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 …”
Volltext

Europa Clipper Payload Verification and Validation: Early Architecture and Implementation von 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 …”
Volltext

Verification and Validation of ITER Interlock System Fast Architecture according to IEC 61508 standard von 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 …”
Volltext

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

“… In this document, we provide a pathway towards verification and validation of such microgrid control architectures on a controller hardware …”
Volltext

Verification and validation of business processes in business architecture using the formal method with V-Model concept von 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 …”
Volltext

Validation of Muscle Fiber Architecture of the Human Tongue Revealed by Diffusion Magnetic Resonance Imaging With Histology Verification von 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 …”
Weitere Angaben

Digital Twin Architecture for Autonomous Driving Validation and Verification von 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 …”
Volltext