Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030549930, 9783030549947
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Ontology-Based Approach to Support Formal Verification of Concurrent Systems

2020 ◽  
pp. 114-130
Author(s):  
Natalia Garanina ◽  
Igor Anureev ◽  
Elena Sidorova ◽  
Dmitry Koznov ◽  
Vladimir Zyubin ◽  
...  
Keyword(s):  
Formal Verification ◽  
Concurrent Systems

Call Me Back, I Have a Type Invariant

2020 ◽  
pp. 325-336
Author(s):  
M. Anthony Aiello ◽  
Johannes Kanig ◽  
Taro Kurita
Keyword(s):  
Type Invariant

Verifying Smart Contracts with Cubicle

2020 ◽  
pp. 312-324
Author(s):  
Sylvain Conchon ◽  
Alexandrina Korneva ◽  
Fatiha Zaïdi
Keyword(s):  
Smart Contracts

scholarly journals Formal Specification of a Security Framework for Smart Contracts

2020 ◽  
pp. 392-403
Author(s):  
Mikhail Mandrykin ◽  
Jake O’Shannessy ◽  
Jacob Payne ◽  
Ilya Shchepetkov
Keyword(s):  
Formal Specification ◽  
Smart Contracts ◽  
Security Framework

scholarly journals Smart Contracts: Application Scenarios for Deductive Program Verification

2020 ◽  
pp. 293-298 ◽  
Author(s):  
Bernhard Beckert ◽  
Jonas Schiffl ◽  
Mattias Ulbrich
Keyword(s):  
Program Verification ◽  
Smart Contracts

Addressing Usability in a Formal Development Environment

2020 ◽  
pp. 61-76
Author(s):  
Paolo Arcaini ◽  
Silvia Bonfanti ◽  
Angelo Gargantini ◽  
Elvinia Riccobene ◽  
Patrizia Scandurra
Keyword(s):  
Development Environment ◽  
Formal Development

Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets

2020 ◽  
pp. 503-519
Author(s):  
David Navarre ◽  
Philippe Palanque ◽  
Sven Coppers ◽  
Kris Luyten ◽  
Davy Vanacken
Keyword(s):  
Petri Nets
Load More ...
Sign in / Sign up

Export Citation Format

Share Document