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

Verifying Smart Contracts with Cubicle

2020 ◽  
pp. 312-324
Author(s):  
Sylvain Conchon ◽  
Alexandrina Korneva ◽  
Fatiha Zaïdi
Keyword(s):  
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