Description: A programming language in which you can model computer systems and a tool to help prove properties of those models. Available under GPL and runs on various platforms. Includes related download links.
Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people