Formal Approaches to Certifying Compliance (FACC)

Mike Dodds, Byron Cook

Abstract: The FACC workshop will explore how formal methods tools and techniques can increase automation in compliance processes, and thereby help build software more cheaply and reliably. Our aim is to bring together industry, government, and academic experts to share ideas, scope problems, and develop future collaborations.

Visit the workshop's website, or select an event below to watch its recording.