Skip to content
777 Sourcing.

Capability

assurance case development

Suppliers
1
States & provinces
1
Countries
1

1 assurance case development supplier across 1 states and provinces in 1 country. Profiles show capabilities, materials, certifications, and facility locations so you can compare shops and build a shortlist.

Suppliers

CRITICAL SYSTEMS LABS INC.

VANCOUVER, BC

Critical Systems Labs Inc. (CSL) is a Vancouver, Canada-based company that helps clients develop, deploy and operate safe systems and products, specializing in managing safety risk and security vulnerabilities for complex software-intensive systems involving AI and machine learning. CSL offers hazard and risk analysis, safety requirements definition, safety verification and validation, and assurance case development, and develops its flagship Socrates platform for structured argumentation and assurance cases.

formal methodshazard and risk analysisSafety Engineeringsafety requirements definitionsafety verification and validationsoftware engineeringstructured argumentationSystems Engineering

Compiled from public sources

Related capabilities

Other processes offered by the shops that list assurance case development.

Browse all capabilities