Installing civl on Mac using Brew

Package Information:

Name: civl
Use: The Concurrency Intermediate Verification Language
URL: https://vsl.cis.udel.edu/civl/

Installation Steps:

1. Open Terminal on your Mac.
2. Copy and execute below command
   

   ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" < /dev/null 2> /dev/null

3. Install civl using brew

   brew install civl

civl is ready to use now!