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

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

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

Translating meaning representations to behavioural interface specifications Autor Leong, Iat Tou, Barbosa, Raul

“… Alternatively, using a formal specification language for meaning representation is more precise for specifying programs and widely supported by automatic theorem provers, while deductive verification…”
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

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

Keynote speakers

“… FOIL, decision tree learning in inductive learning, rough set learning, genetic algorithm, inverse resolution in inductive logic programming are special…”
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

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

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

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

Semantics-driven extraction of timed automata from Java programs Autor Liva, Giovanni, Khan, Muhammad Taimoor, Pinzger, Martin

“…The automatic verification of time properties of models extracted from programs is challenging, mainly because modern programming languages, such as Java, represent time without a proper semantics…”
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

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

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

On construction and verification of PLC programs Autor Kuzmin, E. V., Sokolov, V. A.

“… with respect to a Cadence SMV automatic verification tool is evaluated for these approaches. Possible PLC program vulnerabilities arising at some approaches for programming…”
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 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