Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer International Publishing

9783030010898, 9783030010904
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals EthIR: A Framework for High-Level Analysis of Ethereum Bytecode

2018 ◽  
pp. 513-520 ◽  
Author(s):  
Elvira Albert ◽  
Pablo Gordillo ◽  
Benjamin Livshits ◽  
Albert Rubio ◽  
Ilya Sergey
Keyword(s):  
High Level ◽  
Level Analysis

Owl: A Library for $$\omega $$-Words, Automata, and LTL

2018 ◽  
pp. 543-550 ◽  
Author(s):  
Jan Křetínský ◽  
Tobias Meggendorfer ◽  
Salomon Sickert

scholarly journals Neural State Classification for Hybrid Systems

2018 ◽  
pp. 422-440 ◽  
Author(s):  
Dung Phan ◽  
Nicola Paoletti ◽  
Timothy Zhang ◽  
Radu Grosu ◽  
Scott A. Smolka ◽  
...  
Keyword(s):  
Hybrid Systems ◽  
State Classification

scholarly journals Recursive Online Enumeration of All Minimal Unsatisfiable Subsets

2018 ◽  
pp. 143-159 ◽  
Author(s):  
Jaroslav Bendík ◽  
Ivana Černá ◽  
Nikola Beneš

scholarly journals Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs

2018 ◽  
pp. 476-493 ◽  
Author(s):  
Toru Takisaka ◽  
Yuichiro Oyabu ◽  
Natsuki Urabe ◽  
Ichiro Hasuo
Keyword(s):  
Probabilistic Programs

scholarly journals EVE: A Tool for Temporal Equilibrium Analysis

2018 ◽  
pp. 551-557 ◽  
Author(s):  
Julian Gutierrez ◽  
Muhammad Najib ◽  
Giuseppe Perelli ◽  
Michael Wooldridge
Keyword(s):  
Equilibrium Analysis

scholarly journals Maximum Realizability for Linear Temporal Logic Specifications

2018 ◽  
pp. 458-475 ◽  
Author(s):  
Rayna Dimitrova ◽  
Mahsa Ghasemi ◽  
Ufuk Topcu
Keyword(s):  
Temporal Logic ◽  
Linear Temporal Logic

Verifying Rust Programs with SMACK

2018 ◽  
pp. 528-535 ◽  
Author(s):  
Marek Baranowski ◽  
Shaobo He ◽  
Zvonimir Rakamarić
Load More ...
Sign in / Sign up

Export Citation Format

Share Document