BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Automated and Semi-Automated bug finding for Fortran - Dominic Orc
 hard - ICCS\, Universities of Cambridge and Kent
DTSTART:20230525T120000Z
DTEND:20230525T130000Z
UID:TALK200392@talks.cam.ac.uk
CONTACT:Jack Atkinson
DESCRIPTION:Static analysis tools can be used for sniffing out bad code sm
 ells and potential bugs in code.\n\nIn this talk\, I'll discuss the CamFor
 t suite of tools for static analysis of Fortran that was developed as a jo
 int project between the University of Cambridge and University of Kent\, a
 nd deployed at the Met Office and Bloomberg. CamFort also provides lightwe
 ight verification features in which a programmer inserts some\nadditional 
 specifications as comments that are then checked against the code by the t
 ool. I'll give a few demos and talk about general concepts in verification
  and static analysis.\n\nThis should be of interest to people who write Fo
 rtran\, but more broadly to those interested in tools to help improve code
  correctness.\n\nHybrid Zoom details will be emailed to the RSE mailing li
 st\; if you are not on the list\, please contact the organisers.
LOCATION:West Hub\, East 2
END:VEVENT
END:VCALENDAR