Publication | Closed Access

MASA : a library for verification using manufactured and analytical solutions

EngineeringVerificationComputer-aided VerificationSoftware EngineeringModel VerificationSoftware AnalysisFormal VerificationMechanical VerificationSystems EngineeringComputer ScienceSoftware DesignSoftware VerificationAnalytical SolutionsProgram AnalysisAutomated ReasoningSoftware TestingFormal MethodsFunctional VerificationSystem Software