Výsledky vyhledávání - automation programming- program verification

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

“…Automation of C program verification is an important problem in modern software development…”
Získat plný text

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

“…We propose a framework for the stability verification of Mixed-Integer Linear Programming (MILP…”
Získat plný text

SMC: Satisfiability Modulo Convex Programming Autor 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…”
Získat plný text

Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms Autor 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…”
Získat plný text

Challenges of software verification Autor 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…”
Získat plný text

An Empirical Study on Fine-Tuning Large Language Models of Code for Automated Program Repair Autor 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…”
Získat plný text

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

Získat plný text

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

“…The Go programming language offers a wide range of primitives to coordinate lightweight threads, e.g…”
Získat plný text

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

“…Learn how to automate unit tests of Python 3 with automation libraries, such as doctest, unittest, nose, nose2, pytest, and selenium…”
Získat 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ískat 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ískat plný text

LTL-Specification for Development and Verification of Control Programs Autor 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…”
Získat plný text

Current-state opacity modelling and verification in partially observed Petri nets Autor 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…”
Získat plný text

The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination Autor 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…”
Získat plný text

Planes geometry verification program written in Python Autor 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…”
Získat plný text

Construction of Inductive Property Predicates for Mutable Data Structures Autor 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…”
Získat plný text

Safety Verification of IEC 61131-3 Structured Text Programs Autor 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…”
Získat plný text

Model-driven system-level validation and verification on the space software domain Autor 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…”
Získat plný text

Automating deductive verification for weak-memory programs (extended version) Autor 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…”
Získat plný text

End-to-End Automation of Feedback on Student Assembly Programs Autor 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…”
Získat plný text