Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 12)

H-INDEX

(FIVE YEARS 1)

Published By Springer International Publishing

9783030415990, 9783030416003

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Intersection and Rotation of Assumption Literals Boosts Bug-Finding

Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments ◽

10.1007/978-3-030-41600-3_12 ◽

2020 ◽

pp. 180-192

Author(s):

Rohit Dureja ◽

Jianwen Li ◽

Geguang Pu ◽

Moshe Y. Vardi ◽

Kristin Y. Rozier

Keyword(s):

Bug Finding

Download Full-text

Seamless Interactive Program Verification

Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments ◽

10.1007/978-3-030-41600-3_6 ◽

2020 ◽

pp. 68-86 ◽

Cited By ~ 1

Author(s):

Sarah Grebing ◽

Jonas Klamroth ◽

Mattias Ulbrich

Keyword(s):

Program Verification ◽

Interactive Program

Download Full-text

Incremental Minimization of Symbolic Automata

Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments ◽

10.1007/978-3-030-41600-3_5 ◽

2020 ◽

pp. 54-67

Author(s):

Jonathan Homburg ◽

Parasara Sridhar Duggirala

Keyword(s):

Symbolic Automata ◽

Incremental Minimization

Download Full-text

solc-verify: A Modular Verifier for Solidity Smart Contracts

Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments ◽

10.1007/978-3-030-41600-3_11 ◽

2020 ◽

pp. 161-179 ◽

Cited By ~ 2

Author(s):

Ákos Hajdu ◽

Dejan Jovanović

Keyword(s):

Smart Contracts

Download Full-text

Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain

Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments ◽

10.1007/978-3-030-41600-3_7 ◽

2020 ◽

pp. 87-106

Author(s):

Yuepeng Wang ◽

Shuvendu K. Lahiri ◽

Shuo Chen ◽

Rong Pan ◽

Isil Dillig ◽

...

Keyword(s):

Formal Verification ◽

Smart Contracts

Download Full-text

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer

Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments ◽

10.1007/978-3-030-41600-3_1 ◽

2020 ◽

pp. 1-18

Author(s):

Matthieu Journault ◽

Antoine Miné ◽

Raphaël Monat ◽

Abdelraouf Ouadjaout

Keyword(s):

Abstract Domains

Download Full-text

Quantifying Information Leakage Using Model Counting Constraint Solvers

Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments ◽

10.1007/978-3-030-41600-3_3 ◽

2020 ◽

pp. 30-35

Author(s):

Tevfik Bultan

Keyword(s):

Information Leakage ◽

Model Counting

Download Full-text

Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework

Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments ◽

10.1007/978-3-030-41600-3_2 ◽

2020 ◽

pp. 19-29

Author(s):

Marsha Chechik ◽

Sahar Kokaly ◽

Mona Rahimi ◽

Rick Salay ◽

Torin Viger

Keyword(s):

Uncertainty Modeling ◽

Unified Framework ◽

Safety Assurance

Download Full-text

Ghost Code in Action: Automated Verification of a Symbolic Interpreter

Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments ◽

10.1007/978-3-030-41600-3_8 ◽

2020 ◽

pp. 107-123

Author(s):

Benedikt Becker ◽

Claude Marché

Keyword(s):

Automated Verification

Download Full-text

DCSynth: Guided Reactive Synthesis with Soft Requirements

Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments ◽

10.1007/978-3-030-41600-3_9 ◽

2020 ◽

pp. 124-142

Author(s):

Amol Wakankar ◽

Paritosh K. Pandya ◽

Raj Mohan Matteplackel

Keyword(s):

Reactive Synthesis

Download Full-text

Lecture Notes in Computer Science - Verified Software. Theories, Tools, and ExperimentsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Intersection and Rotation of Assumption Literals Boosts Bug-Finding

Seamless Interactive Program Verification

Incremental Minimization of Symbolic Automata

solc-verify: A Modular Verifier for Solidity Smart Contracts

Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer

Quantifying Information Leakage Using Model Counting Constraint Solvers

Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework

Ghost Code in Action: Automated Verification of a Symbolic Interpreter

DCSynth: Guided Reactive Synthesis with Soft Requirements

Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments
Latest Publications