High Confidence Software and Systems Conference

The twenty-fifth annual High Confidence Software and Systems (HCSS) Conference, renowned for bringing together a world-class community of researchers, will take place during the week of May 12th, 2025 in Annapolis, Maryland. This annual event is structured to explore and promote new scientific and technological foundations essential for the development of next-generation engineered designs, crucial for the effective operation of life-, safety-, security-, and mission-critical systems.

CAS Static Analysis Tool Study Overview

Download

pdf

Presented as part of the 2011 HCSS conference.

Tags:

National HCSS Conference 2011

Presentation

HCSS '11

HCSS/CAS Tools and Technologies

License: CC-2.5

Submitted by Timothy Thimmesch on Mon, 05/16/2011 - 08:39