Publication | Closed Access

Java-MaC: A Run-Time Assurance Approach for Java Programs

Software MaintenanceJava ProgramsEngineeringRuntime VerificationProgram AnalysisSoftware TestingFormal MethodsSoftware AnalysisComputer ScienceReal-time JavaStatic Program AnalysisFormal VerificationSystem Software