Advanced Search Tips

Symbolic Analysis Laboratory

Submitted by on Jun 18 2014 Suggest Revision
From: SRI International
Paper:
Resource Type:
Code
License:
GNU General Public License
Language:
Data Format:

Description

The heart of SAL is a language, developed in collaboration with Stanford and Berkeley, for specifying concurrent systems in a compositional way.
Post comment
Cancel