Formal Systems Laboratory at University of Illinois
- Urbana, Illinois, United States
- Industry Education
- Website fsl.cs.uiuc.edu
- About In the FSL, we design and develop foundational and theoretical models, specification and programming languages, techniques and methodologies, as well as software analysis prototypes and tools, all aiming at increasing the quality of computing systems.
