In collaboration with the SAnToS Lab, we are working on extensions to the SparkAda language and toolset. The DSRG's contribution is mainly in the area of Extended Static Checking (ESC). More to be posted here shortly.
Notice: Undefined variable: char in /nfs/groups/d/dsrg/main/includes/footer.php on line 10
