Software Tools

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.