Search Results - Automatic Programming- Program verification

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

“…The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc…”
Get full text

Constraint-based automatic verification of abstract models of multithreaded programs by 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…”
Get full text

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

“…Automatic program repair (APR) is crucial to improve software reliability. Recently, neural machine translation (NMT…”
Get full text

Efficient SAT-based bounded model checking for software verification by 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…”
Get full text

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

“…The following topics are dealt with: cloud computing; resource allocation; queueing theory; optimisation; storage management; cache storage; telecommunication…”
Get full text

Toward automatic verification of quantum programs by 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…”
Get full text

Automatic Program Repair by 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…”
Get full text

Python Software Package for Automatic Generation and Verification of BPA Simulation Data Aimed at Load Flow Analysis by 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…”
Get full text

A Survey of Automated Techniques for Formal Software Verification by 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…”
Get full text

Blockchain-based mobile fingerprint verification and automatic log-in platform for future computing by 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…”
Get full text

Software verification challenges in the blockchain ecosystem by 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…”
Get full text

Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System by 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…”
Get full text

Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions by 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…”
Get full text

Binary-Level Formal Verification Based Automatic Security Ensurement for PLC in Industrial IoT by 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…”
Get full text

Automatic verification of behavior preservation at the transformation level for relational model transformation by 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…”
Get full text

Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks by 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…”
Get full text

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

“…The C-lightVer system is developed in IIS SB RAS for C-program deductive verification…”
Get full text

Automatic Verification of Mixed-Signal ATE Test Programs using Device Variation by 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…”
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

Credible autocoding of convex optimization algorithms by 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…”
Get full text