Search Results - automation programming- program verification

Automation of C Program Deductive Verification without Using Loop Invariants by Kondratyev, D. A., Nepomniaschy, V. A.

“…Automation of C program verification is an important problem in modern software development…”
Get full text

Stability Verification of Neural Network Controllers Using Mixed-Integer Programming by Schwan, Roland, Jones, Colin N., Kuhn, Daniel

“…We propose a framework for the stability verification of Mixed-Integer Linear Programming (MILP…”
Get full text

SMC: Satisfiability Modulo Convex Programming by Shoukry, Yasser, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Pappas, George J., Tabuada, Paulo

“… Boolean methods such as satisfiability (SAT) solving are successful in tackling large combinatorial search problems for the design and verification of hardware and software components…”
Get full text

Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms by Chernenko, Ivan M., Anureev, Igor S.

“…Process-oriented programming is an approach to developing control software in which a program is defined as a set of interacting processes…”
Get full text

Challenges of software verification by Arceri, Vincenzo, Negrini, Luca, Olivieri, Luca, Ferrara, Pietro

“…Software verification aims to prove that a program satisfies some given properties for all its possible executions…”
Get full text

An Empirical Study on Fine-Tuning Large Language Models of Code for Automated Program Repair by Huang, Kai, Meng, Xiangxin, Zhang, Jian, Liu, Yang, Wang, Wenjie, Li, Shuhao, Zhang, Yuqing

“…The advent of large language models (LLMs) has opened up new opportunities for automated program repair (APR…”
Get full text

Meta-F: Proof Automation with SMT, Tactics, and Metaprograms

Get full text

Automated verification of concurrent go programs via bounded model checking by Dilley, Nicolas, Lange, Julien

“…The Go programming language offers a wide range of primitives to coordinate lightweight threads, e.g…”
Get full text

Python Unit Test Automation - Automate, Organize, and Execute Unit Tests in Python (2nd Edition) by Pajankar, Ashwin

“…Learn how to automate unit tests of Python 3 with automation libraries, such as doctest, unittest, nose, nose2, pytest, and selenium…”
Get full text

An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering by 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…”
Get full text

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges by 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…”
Get full text

LTL-Specification for Development and Verification of Control Programs by Neyzov, M. V., Kuzmin, E. V.

“…This work continues the series of articles on the development and verification of control programs based on the LTL-specification…”
Get full text

Current-state opacity modelling and verification in partially observed Petri nets by Saadaoui, Ikram, Li, Zhiwu, Wu, Naiqi

“… This work deals with the problem of current-state opacity formulation and verification in the context of discrete event systems modelled with partially observed Petri nets (POPNs) (i.e…”
Get full text

The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination by Kondratyev, D. A., Maryasov, I. V., Nepomniaschy, V. A.

“…In the deductive verification of programs written in the imperative programming languages, the generation and proving of the verification conditions corresponding to loops are of particular complexity…”
Get full text

Planes geometry verification program written in Python by Madiev, Aset, Erdelyi, Jan, Honti, Richard

“…In recent years, there has been significant progress in sensor and scanning technologies in the computer vision and 3D visualization field. This has led to an…”
Get full text

Construction of Inductive Property Predicates for Mutable Data Structures by Li, Xue-Jian, Wang, Jun-Yi

“…Program verification is a compelling way to ensure the dependable of software system, but the granularity of verification properties depends on the design of predicates…”
Get full text

Safety Verification of IEC 61131-3 Structured Text Programs by Xiong, Jiawen, Bu, Xiangxing, Huang, Yanhong, Shi, Jianqi, He, Weigang

“…) are increasingly adopted in the process automation. Moreover, many PLCs play key roles in safety-critical systems, such as nuclear power plants, where robust and reliable control programs are required…”
Get full text

Model-driven system-level validation and verification on the space software domain by Montalvo, Aarón, Parra, Pablo, Rodríguez Polo, Óscar, Carrasco, Alberto, Da Silva, Antonio, Martínez, Agustín, Sánchez, Sebastián

“… Model validation and model transformations can be applied to drive the activities of specification, requirements definition, and system-level validation and verification according to the space…”
Get full text

Automating deductive verification for weak-memory programs (extended version) by Summers, Alexander J., Müller, Peter

“… The first program logics for the verification of such programs have recently been proposed, but their usage has been limited thus far to manual proofs…”
Get full text

End-to-End Automation of Feedback on Student Assembly Programs by Liu, Zikai, Liu, Tingkai, Li, Qi, Luo, Wenqing, Lumetta, Steven S.

“…We developed a set of tools designed to provide rapid feedback to students as they learn to write programs in assembly language…”
Get full text