Výsledky vyhľadávania - Formal Methods in Software Verification and Control

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

Získať plný text

Scenario-based Requirement Analysis Method for Railway Control Software Autor 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…”
Získať plný text

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

Získať plný text

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

“…Formally verified correctness is one of the most desirable properties of software systems…”
Získať plný text

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

“… Therefore, formal modeling and verification methods are introduced to ensure the correctness of TCS…”
Získať plný text

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges Autor 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…”
Získať plný text

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

“…We present CoVeriTeam GUI, a No-Code web frontend to compose new software-verification workflows from existing analysis techniques…”
Získať plný text

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

“…Validation of program invariants (a.k.a. correctness witnesses) is an established procedure in software verification…”
Získať plný text

HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts Autor 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…”
Získať plný text

Formal Methods for High Integrity GPU Software Development and Verification Autor 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…”
Získať plný text

An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering Autor 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…”
Získať plný text

ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation Autor 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…”
Získať plný text

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

“…The paper proposes a novel formal verification method for a state-based control module of a cyber-physical system…”
Získať plný text

LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling Autor 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…”
Získať plný text

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

“…The rapid development of deep learning has significantly transformed the ecology of the software engineering field…”
Získať plný text

Using Formal Verification to Evaluate Human-Automation Interaction: A Review Autor 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…”
Získať plný text

A Generalized Approach for Solving Web Form Constraints Autor 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…”
Získať plný text

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries Autor 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…”
Získať plný text

CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification Autor Beyer, Dirk, Chien, Po-Chun, Lee, Nian-Ze

“…Software verification is challenging, and auxiliary program invariants are used to improve the effectiveness of verification approaches…”
Získať plný text

Validation obligations: a novel approach to check compliance between requirements and their formal specification Autor Mashkoor, Atif, Leuschel, Michael, Egyed, Alexander

“…Traditionally, practitioners use formal methods predominately for one half of the quality-assurance process: verification…”
Získať plný text