Suchergebnisse - Formal Methods in Software Verification and Control

An Object-Oriented Systems Engineering Point of View to Develop Controllers of Quadrotor Unmanned Aerial Vehicles von Van Thuan Truong, Ngoc Tam Bui, Ngo Van Hien

Volltext

Scenario-based Requirement Analysis Method for Railway Control Software von YAN Qianqian, MIAO Weikai

“… In practical engineering applications, the existing formal methods for railway control software are limited by the difficulties in formal modeling and verification in system-level scenarios …”
Volltext

Formal Methods for Embedded Control Software: Some Recent Progress: Invited Presentation at the The First Workshop on Verification and Validation of Cyber-Physical Systems von V. Deshmukh, Jyotirmoy

Volltext

Diversity-Driven Automated Formal Verification von First, Emily, Brun, Yuriy

“… Formally verified correctness is one of the most desirable properties of software systems …”
Volltext

Formal Modeling and Verification Methods for the System Requirement Specifications of Train Control Systems: A Survey von Cheng, Ruijun, Chen, Dewang, Song, Haifeng, Liu, Hui, Cheng, Huize

“… Therefore, formal modeling and verification methods are introduced to ensure the correctness of TCS …”
Volltext

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges von Li, Yahui, Yin, Xia, Wang, Zhiliang, Yao, Jiangyuan, Shi, Xingang, Wu, Jianping, Zhang, Han, Wang, Qing

“… Furthermore, techniques ranging from formal modeling to verification and testing have been applied to help operators build reliable systems in electronic design automation and software …”
Volltext

CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification von Lemberger, Thomas, Wachowitz, Henrik

“… We present CoVeriTeam GUI, a No-Code web frontend to compose new software-verification workflows from existing analysis techniques …”
Volltext

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I von Silva, Alexandra, Leino, K. Rustan M

“… ; decision procedures and solvers; hardware and model checking; logical foundations; and software verification …”
Volltext

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II von Silva, Alexandra, Leino, K. Rustan M

“… ; decision procedures and solvers; hardware and model checking; logical foundations; and software verification …”
Volltext

LIV: Loop-Invariant Validation Using Straight-Line Programs von Beyer, Dirk, Spiessl, Martin

“… Validation of program invariants (a.k.a. correctness witnesses) is an established procedure in software verification …”
Volltext

HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts von Eshghie, Mojtaba, Artho, Cyrille, Stammler, Hans, Ahrendt, Wolfgang, Hildebrandt, Thomas T., Schneider, Gerardo

“… HighGuard employs dynamic condition response (DCR) graph models as formal specifications to verify contract execution against these models …”
Volltext

Formal Methods for High Integrity GPU Software Development and Verification von Aspetakis, Dimitris, Kosmidis, Leonidas, Trompouki, Matina Maria, Ruiz, Jose, Marosy, Gabor

“… However, their massively parallel nature complicates the verification of their software and increases its cost because it usually involves code coverage through extensive human-driven testing …”
Volltext

An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering von Chatterjee, Prantik, Kalita, Pankaj Kumar, Lahiri, Sumit, Muduli, Sujit Kumar, Singh, Vishal, Takhar, Gourav, Roy, Subhajit

“… Program analysis, verification and testing are important topics in programming languages and software engineering …”
Volltext

ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation von Feng, Shiwei, Ye, Yapeng, Shi, Qingkai, Cheng, Zhiyuan, Xu, Xiangzhe, Cheng, Siyuan, Choi, Hongjun, Zhang, Xiangyu

“… In this paper, we address the gap by offering a formal definition of ADS root cause analysis problem and introducing Rocas, a novel ADS root cause analysis framework featuring cyber-physical co-mutation …”
Volltext

Formal Verification of Control Modules in Cyber-Physical Systems von Grobelna, Iwona

“… The paper proposes a novel formal verification method for a state-based control module of a cyber-physical system …”
Volltext

LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling von Pirzada, Muhammad A. A., Bhayat, Ahmed, Cordeiro, Lucas C., Reger, Giles

“… We investigate a modification of the classical Bounded Model Checking (BMC) procedure that does not handle loops through unrolling but via modifications to the control flow graph (CFG …”
Volltext

HOBAT: Batch Verification for Homogeneous Structural Neural Networks von Li, Jingyang, Li, Guoqiang

“… The rapid development of deep learning has significantly transformed the ecology of the software engineering field …”
Volltext

Using Formal Verification to Evaluate Human-Automation Interaction: A Review von Bolton, M. L., Bass, E. J., Siminiceanu, R. I.

“… Formal verification is a powerful technique used to mathematically prove that an appropriately scaled model of a system does or does not exhibit desirable properties …”
Volltext

A Generalized Approach for Solving Web Form Constraints von Karthein, Bjorn, Staicu, Cristian-Alexandru, Zeller, Andreas

“… When creating automated tests for web applications, one major part is filling and submitting web forms. Filling out forms automatically is challenging, as form …”
Volltext

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries von McCormack, Ian, Sunshine, Joshua, Aldrich, Jonathan

“… Developers rely on the static safety guarantees of the Rust programming language to write secure and performant applications. However, Rust is frequently used …”
Volltext