Search Results - architecture verification and validation

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

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

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

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

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

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

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

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I by 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…”
Get full 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 by 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…”
Get full 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 by Johnsen, Einar Broch, Wimmer, Manuel

“… software engineering as an engineering discipline, requirements engineering, software architectures…”
Get full 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 by 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…”
Get full 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 by 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…”
Get full text

Europa Clipper Payload Verification and Validation: Early Architecture and Implementation by 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…”
Get full text

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

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

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

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

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

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

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

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

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

Digital Twin Architecture for Autonomous Driving Validation and Verification by 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…”
Get full text