Here is a list of options we provide to install Firefly.
Send us your questions or comments at
firefly-support@runtimeverification.com