Suchergebnisse - Automatic Programming- Program verification

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

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

Constraint-based automatic verification of abstract models of multithreaded programs von 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 …”
Volltext

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

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

Efficient SAT-based bounded model checking for software verification von 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 …”
Volltext

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

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

Toward automatic verification of quantum programs von 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 …”
Volltext

Automatic Program Repair von 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 …”
Volltext

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

A Survey of Automated Techniques for Formal Software Verification von 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 …”
Volltext

Blockchain-based mobile fingerprint verification and automatic log-in platform for future computing von 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 …”
Volltext

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II von Dillig, Isil, Tasiran, Serdar

“… ; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification …”
Volltext

Software verification challenges in the blockchain ecosystem von 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 …”
Volltext

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

Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions von 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 …”
Volltext

Binary-Level Formal Verification Based Automatic Security Ensurement for PLC in Industrial IoT von 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 …”
Volltext

Automatic verification of behavior preservation at the transformation level for relational model transformation von 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 …”
Volltext

Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks von 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 …”
Volltext

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

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

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

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

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