Checking Scheduling-Induced Violations of Control Safety Properties
Anand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty
Topics & Concepts
Computer scienceReachabilitySatisfiability modulo theoriesModuloScheduling (production processes)SatisfiabilityModel checkingAbstractionDynamic priority schedulingDistributed computingTheoretical computer scienceScheduleMathematical optimizationOperating systemMathematicsPhilosophyEpistemologyCombinatoricsFormal Methods in VerificationReal-Time Systems SchedulingPetri Nets in System Modeling