Adelard has specialist skills in the wide variety of techniques necessary for the development of assured systems.
Current Software Products
Assurance and Safety Case Environment (ASCE™) - a powerful graphical and narrative authoring tool for developing and managing assurance cases,
safety cases and other complex project documentation.
ASCE Browser - a free viewer for viewing exported HTML files created from ASCE networks using a zoomable map.
Other systems we have developed (historical)
Dust-Expert™ - a formally verified expert system to advise on building plant containing potentially explosive dust.
SpecBox - a free tool for checking VDM specifications.