Difference between revisions of "Formal Systems Laboratory"

From FSL
Jump to: navigation, search
(Change matching logic links to go to new website)
Line 12: Line 12:
 
[[k: | K]]
 
[[k: | K]]
  
[[Matching Logic]] -- {{TryItOnline|Special:MatchCOnline}}
+
[[:ml:Matching Logic|Matching Logic]] -- {{TryItOnline|:ml:Special:MatchCOnline}}
  
 
[[Special:MaudeStepperOnline|Maude Stepper]]---{{TryItOnline|Special:MaudeStepperOnline}}
 
[[Special:MaudeStepperOnline|Maude Stepper]]---{{TryItOnline|Special:MaudeStepperOnline}}

Revision as of 00:18, 9 November 2012


Quick Links Downarrow.png

Circ -- Online-sm.JPG

K

Matching Logic -- Online-sm.JPG

Maude Stepper---Online-sm.JPG

MOP

Welcome to the Formal Systems Laboratory (FSL) of the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC). FSL was founded in 2002 by Grigore Rosu, when he joined UIUC (from NASA Ames). 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.


Current Research Areas
Runtime Verification
Programming Language Semantics
Behavioral Specification


News

2018-07-25: Technical report on IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics.
2018-07-16: A Formal Verification Tool for Ethereum VM Bytecode was accepted at FSE 2018.
2018-07-16: A Language-Independent Program Verification Framework was accepted at ISOLA 2018.
2018-06-29: A Language-Independent Approach to Smart Contract Verification was accepted at ISOLA 2018.
2018-06-11: Testing Probabilistic Programming Systems was accepted at FSE 2018.

[ all news ]

Personal tools
Namespaces

Variants
Actions
Navigation