Výsledky vyhledávání - Automatic Programming- Program verification

Automatic verification of timed concurrent constraint programs Autor FALASCHI, MORENO, VILLANUEVA, ALICIA

“…The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc…”
Získat plný text

Constraint-based automatic verification of abstract models of multithreaded programs Autor DELZANNO, GIORGIO

“…We present a technique for the automated verification of abstract models of multithreaded programs providing fresh name generation, name mobility, and unbounded control…”
Získat plný text

CURE: Code-Aware Neural Machine Translation for Automatic Program Repair Autor Jiang, Nan, Lutellier, Thibaud, Tan, Lin

“…Automatic program repair (APR) is crucial to improve software reliability. Recently, neural machine translation (NMT…”
Získat plný text

Efficient SAT-based bounded model checking for software verification Autor Ivančić, Franjo, Yang, Zijiang, Ganai, Malay K., Gupta, Aarti, Ashar, Pranav

“…This paper discusses our methodology for formal analysis and automatic verification of software programs…”
Získat plný text

Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures Autor Peterson, Christina, Cook, Victor, Dechev, Damian

“…The following topics are dealt with: cloud computing; resource allocation; queueing theory; optimisation; storage management; cache storage; telecommunication…”
Získat plný text

Toward automatic verification of quantum programs Autor Ying, Mingsheng

“…This paper summarises the results obtained by the author and his collaborators in a program logic approach to the verification of quantum programs, including quantum Hoare logic, invariant generation…”
Získat plný text

Automatic Program Repair Autor Carver, Jeffrey, Colomo-Palacios, Ricardo, Larrucea, Xabier, Staron, Miroslaw

“…Following along with the theme of this issue of IEEE Software, this column reports on papers about automatic program repair (APR…”
Získat plný text

Python Software Package for Automatic Generation and Verification of BPA Simulation Data Aimed at Load Flow Analysis Autor Zhang, Jifan, Zhang, Hengxu, Shi, Xiaohan, Liu, Chunyang

“… To improve the efficiency of grid data processing, this paper utilizes the Python programming language, oriented towards the BPA calculation program, and proposes…”
Získat plný text

A Survey of Automated Techniques for Formal Software Verification Autor D'Silva, V., Kroening, D., Weissenbacher, G.

“… This paper surveys algorithms that perform automatic static analysis of software to detect programming errors or prove their absence…”
Získat plný text

Blockchain-based mobile fingerprint verification and automatic log-in platform for future computing Autor Huh, Jun-Ho, Seo, Kyungryong

“… Thus, this study proposed and implemented an integrated automatic log-in platform based on mobile fingerprint recognition by applying the blockchain theory…”
Získat plný text

Software verification challenges in the blockchain ecosystem Autor Olivieri, Luca, Spoto, Fausto

“… , distributability , and decentralization of data. Its rapid evolution over the last decade implied a lack of adequate verification tools, exposing developers and users to critical vulnerabilities and bugs…”
Získat plný text

Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System Autor Kondratyev, D. A.

“…The C-lightVer system for deductive verification of C programs has been developed at the Institute of Informatics Systems of the Siberian Branch of the Russian Academy of Sciences (IIS SB RAS…”
Získat plný text

Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions Autor Liu, Jiangchao, Chen, Liqian, Rival, Xavier

“…User-space programs rely on memory allocation primitives when they need to construct dynamic structures such as lists or trees…”
Získat plný text

Binary-Level Formal Verification Based Automatic Security Ensurement for PLC in Industrial IoT Autor Zhang, Xuankai, Li, Jianhua, Wu, Jun, Chen, Guoxing, Meng, Yan, Zhu, Haojin, Zhang, Xiaosong

“… Using reverse engineering, VoICS automatically parses PLC programs written by various programming languages at the binary…”
Získat plný text

Automatic verification of behavior preservation at the transformation level for relational model transformation Autor Dyck, Johannes, Giese, Holger, Lambers, Leen

“…, for a given source and target model specified by the model transformation. However, until now there is no sound and automatic verification approach available at the transformation level, i.e…”
Získat plný text

Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks Autor Beal, Jacob, Lu, Ting, Weiss, Ron

“…The field of synthetic biology promises to revolutionize our ability to engineer biological systems, providing important benefits for a variety of…”
Získat plný text

Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System Autor Kondratyev, Dmitry A.

“…The C-lightVer system is developed in IIS SB RAS for C-program deductive verification…”
Získat plný text

Automatic Verification of Mixed-Signal ATE Test Programs using Device Variation Autor Mayer, Franziska, Schott, Christian, Billich, Enrico, Yazdani, Saeid, Heinkel, Ulrich, Daler, Georg, Ruf, Bernhard, Pannuzzo, Ricardo, Dickenscheid, Wolfgang

“… Therefore, the verification of the test program is an essential part of the development and the resulting effort has been increased significantly over the last…”
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

Credible autocoding of convex optimization algorithms Autor Wang, Timothy, Jobredeaux, Romain, Pantel, Marc, Garoche, Pierre-Loic, Feron, Eric, Henrion, Didier

“… There is a considerable body of mathematical proofs on on-line optimization algorithms which can be leveraged to assist in the development and verification of their implementation…”
Získat plný text