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.

Programatica Tools for Certifiable, Auditable Development of High Assurance Systems in Haskell

Download

pdf

Presented as part of the 2003 HCSS conference.

Tags:

License: CC-2.5

Submitted by Timothy Thimmesch on Mon, 09/12/2011 - 12:56