Jump to main content

Yvonne Murray

PhD Research Fellow

D3063 ( Jon Lilletuns vei 9, Grimstad )

I am a PhD candidate working on formal verification of autonomous systems.

Scientific publications

  • Murray, Yvonne; Anisi, David A. (2019). Survey of Formal Verification Methods for Smart Contracts on Blockchain.

Research groups

Last changed: 1.04.2019 14:04