Just Enough Formality in Assurance Argument Structures
Torin Viger, Rick Salay, Gehan Selim, Marsha Chećhik
Topics & Concepts
FormalityComputer scienceArgument (complex analysis)Guard (computer science)Software deploymentRisk analysis (engineering)Software engineeringProgramming languageBiochemistryChemistryMedicineLinguisticsPhilosophySafety Systems Engineering in AutonomyFormal Methods in VerificationSoftware Reliability and Analysis Research