Towards Logic-Based Verification of Java']JavaScript Programs

被引：1

作者：

Santos, Jose Fragoso ^{[1
]}

Gardner, Philippa ^{[1
]}

Maksimovic, Petar ^{[1
,2
]}

Naudziuniene, Daiva ^{[1
]}

机构：

[1] Imperial Coll London, London, England

[2] Serbian Acad Arts & Sci, Math Inst, Belgrade, Serbia

来源：

AUTOMATED DEDUCTION - CADE 26 | 2017年 / 10395卷

基金：

英国工程与自然科学研究理事会;

关键词：

D O I：

10.1007/978-3-319-63046-5_2

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this position paper, we argue for what we believe is a correct pathway to achieving scalable symbolic verification of JavaScript based on separation logic. We highlight the difficulties imposed by the language, the current state-of-the-art in the literature, and the sequence of steps that needs to be taken. We briefly describe JaVerT, our semiautomatic toolchain for JavaScript verification.

引用

页码：8 / 25

页数：18

共 50 条

[11] Algorithmic Logic-Based Verification with SeaHorn
Gurfinkel, Arie
2015 17TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC), 2016, : 12 - 15
[12] Logic-based Verification of Technical Documentation
Schoenberg, Christian
Weitl, Franz
Jaksic, Mirjana
Freitag, Burkhard
DOCENG'09: PROCEEDINGS OF THE 2009 ACM SYMPOSIUM ON DOCUMENT ENGINEERING, 2009, : 251 - 252
[13] Generating logic-based representations for programs
Jebelean, Calin
Chirila, Ciprian-Bogdan
Maduta, Anca
2008 IEEE 4TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING, PROCEEDINGS, 2008, : 145 - 151
[14] Verification of Java']Java bytecode using analysis and transformation of logic programs
Albert, E.
Gomez-Zamalloa, M.
Hubert, L.
Puebla, G.
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2007, 4354 : 124 - +
[15] A dynamic logic for the formal verification of java card programs
Universität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme, Karlsruhe
D-76128, Germany
Lect. Notes Comput. Sci., 1600, (6-24):
[16] Logic-based approaches to workflow Modeling and verification
Mukherjee, S
Davulcu, H
Kifer, M
Senkul, P
Yang, GZ
LOGICS FOR EMERGING APPLICATIONS OF DATABASES, 2004, : 167 - 202
[17] Towards a logic-based theory of argumentation
Besnard, P
Hunter, A
SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, : 411 - 416
[18] Implementation of a logic-based multi agent framework on Java']Java environment
Kawamura, T
Motomura, S
Sugahara, K
2005 INTERNATIONAL CONFERENCE ON INTEGRATION OF KNOWLEDGE INTENSIVE MULTI-AGENT SYSTEMS: KIMAS'05: MODELING, EXPLORATION, AND ENGINEERING, 2005, : 486 - 491
[19] JaVerT: Java']JavaScript Verification Toolchain
Santos, Jose Fragoso
Maksimovic, Petar
Naudziuniene, Daiva
Wood, Thomas
Gardner, Philippa
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2 (POPL):
[20] Converting Physlets and Other Java']Java Programs to Java']JavaScript
Christian, Wolfgang
Belloni, Mario
Hanson, Robert M.
Mason, Bruce
Barbato, Lyle
PHYSICS TEACHER, 2021, 59 (04): : 278 - 281

← 1 2 3 4 5 →