Loading…
Thank you for attending TruffleCon 2019!
Feel free to use this scheduler to customize your Truffle experience.
View topics, speakers, time and availability. You can also let us know how each session you attended went so we can make your experience even better! 
Sunday, August 4 • 1:30pm - 2:40pm
Firefly: Run your tests in Truffle using KEVM

Sign up or log in to save this to your schedule and see who's attending!

Feedback form is now closed.
Firefly helps Ethereum smart contract developers write higher quality code, guiding them towards higher test coverage. We will present the technology underlying Firefly, based on the K framework, and then will demonstrate installing and setting up the Firefly tool. Current Truffle users will notice that the setup process is very similar to that of Truffle itself, but instead of launching Ganache with ethereumjs-vm as the backing VM, we will launch Ganache with KEVM as the backing VM. Using Firefly will also feel the same as using normal Truffle, except for the extra confidence we place in the results because we are using KEVM (widely considered the official executable specification) instead of ethereumjs-vm.


Speakers
avatar for Everett Hildenbrandt

Everett Hildenbrandt

Runtime Verification, Inc.
avatar for Grigore Rosu

Grigore Rosu

CEO, Runtime Verification
Grigore Rosu is a professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Formal Systems Laboratory (FSL), and the president and CEO of Runtime Verification, Inc (RV). His research interests encompass both theoretical... Read More →


Sunday August 4, 2019 1:30pm - 2:40pm
Kodiak Microsoft Building 33, Northeast 36th Way, Redmond, WA, USA

Attendees (20)