...

Technology/approach for runtime verification (https://en.wikipedia.org/wiki/Runtime_verification) will depend heavily on the results on the "constructive" side - we do not want to commit make a commitment on this at this point.

Learning Objectives

Expected Outcome

• A definition of a natural-language "specification conversation set", which target a diverse, representative representative ("towards a benchmark") set of smart contract functionality and their key variations. , defined in natural language (various token contracts, cross-organizational processes, , data recording, etc.).
• A set of (possibly branching) natural language conversation scripts, and a report on evaluating the capabilities and shortcomings of a selected (expected to be best-of-breed) generative approach.
• A set of functionally equivalent specifications in a structured approach (we expect this to be a variant of BDD, but there are other options to try).
• A report on evaluating the capabilities and shortcomings of the structured approach on the selected (expected to be best-of-breed) generative approach, and comparison with the "conversational" approach.
• At least expected: specification-compliance runtime checking code for the cases of the structured approach (determining the checked properties and a coverage goal is part of the work).
• In optimal case: automatically generated checker code.

Relation to Hyperledger 

Mentee Skills

...

Mentor(s) Names and Contact Info

Imre Kocsis, assistant professor, kocsis.imre@vik.Bertalan Zoltán Péter, PhD student, bpeter@edu.bme.hu, Budapest University of Technology and Economics, Dept. of Measurement and Inf. Systems, Critical Systems Research GroupBertalan Zoltán Péter, PhD student, bpeter@edu

Imre Kocsis, assistant professor, kocsis.imre@vik.bme.hu, Budapest University of Technology and Economics, Dept. of Measurement and Inf. Systems, Critical Systems Research Group

...