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 条

[41] CLARVA: Model-based Residual Verification of Java']Java Programs
Azzopardi, Shaun
Colombo, Christian
Pace, Gordon
PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2020, : 352 - 359
[42] Runtime verification of Java']Java programs for scenario-based specifications
Li Xuandong
Wang Linzhang
Qiu Xiaokang
Lei Bin
Yuan Jiesong
Zhao Jianhua
Zheng Guoliang
RELIABLE SOFTWARE TECHNOLOGIES - ADA - EUROPE 2006, PROCEEDINGS, 2006, 4006 : 94 - 105
[43] IDVE: an Integrated Development and Verification Environment for Java']JavaScript
Schuster, Christopher
Flanagan, Cormac
PROGRAMMING 2019: PROCEEDINGS OF THE CONFERENCE COMPANION OF THE 3RD INTERNATIONAL CONFERENCE ON ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, 2019,
[44] Abstract interpretation based verification of logic programs
Comini, M
Gori, R
Levi, G
Volpe, P
SCIENCE OF COMPUTER PROGRAMMING, 2003, 49 (1-3) : 89 - 123
[45] PERMISSION-BASED SEPARATION LOGIC FOR MULTITHREADED JAVA']JAVA PROGRAMS
Amighi, Afshin
Haack, Citristian
Huisman, Marieke
Hurlin, Clement
LOGICAL METHODS IN COMPUTER SCIENCE, 2015, 11 (01)
[46] Verification of logic programs
Pedreschi, D
Ruggieri, S
JOURNAL OF LOGIC PROGRAMMING, 1999, 39 (1-3): : 125 - 176
[47] Finding Broken Promises in Asynchronous Java']JavaScript Programs
Alimadadi, Saba
Zhong, Di
Madsen, Magnus
Tip, Frank
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
[48] Ahead-of-time compilation of Java']JavaScript programs
Zhuykov, R.
Sharygin, E.
PROGRAMMING AND COMPUTER SOFTWARE, 2017, 43 (01) : 51 - 59
[49] Specification and verification of encapsulation in Java']Java programs
Roth, A
FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2005, 3535 : 195 - 210
[50] Verification of Java programs in Coq
Department of Computer Science, Royal Holloway University of London, Surrey, United Kingdom
Comput. Sci. Electron. Eng. Conf., CEEC,

← 1 2 3 4 5 →