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 条

[21] A Logic-Based Approach for the Verification of UML Timed Models
Baresi, Luciano
Morzenti, Angelo
Motta, Alfredo
Pourhashem, Mohammad Mehdi K.
Rossi, Andmatteo
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2017, 26 (02)
[22] Soundness of a Logic-Based Verification Method for Imperative Loops
Erascu, Madalina
Jebelean, Tudor
14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012), 2012, : 127 - 134
[23] Logic-based Verification of the Distributed Dining Philosophers Protocol
Delzanno, Giorgio
FUNDAMENTA INFORMATICAE, 2018, 161 (1-2) : 113 - 133
[24] Temporal logic-based specification and verification of trust models
Herrmann, Peter
TRUST MANAGEMENT, PROCEEDINGS, 2006, 3986 : 105 - 119
[25] Rule randomization for propositional logic-based workflow verification
Liang, Qianhui
Rubin, Stuart H.
PROCEEDINGS OF THE 2008 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION, 2008, : 374 - +
[26] A Logic-based Approach to Web Services Composition and Verification
Wang, Hongbing
Wang, Chen
Liu, Yan
2009 WORLD CONFERENCE ON SERVICES PART, 2009, : 103 - 110
[27] A propositional logic-based method for verification of feature models
Zhang, W
Zhao, H
Mei, H
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 115 - 130
[28] JaVerT: Java']JavaScript Verification and Testing Framework
Gardner, Philippa
PPDP'18: PROCEEDINGS OF THE 20TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2018,
[29] Constraint based Testing and Verification of Java']Java Bytecode Programs
Achour, Safaa
Benattou, Mohammed
2018 IEEE 5TH INTERNATIONAL CONGRESS ON INFORMATION SCIENCE AND TECHNOLOGY (IEEE CIST'18), 2018, : 64 - 69
[30] Towards type inference for Java']JavaScript
Anderson, C
Giannini, P
Drossopoulou, S
ECOOP 2005 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2005, 3586 : 428 - 452

← 1 2 3 4 5 →