Compositional verification of embedded real-time systems
Mohammed Foughali, Pierre-Emmanuel Hladik, Alexander Zuepke
Topics & Concepts
Computer scienceScalabilityScheduling (production processes)PreemptionDistributed computingModel checkingSoftwareState spaceParallel computingTheoretical computer scienceProgramming languageOperating systemMathematicsStatisticsOperations managementEconomicsReal-Time Systems SchedulingFormal Methods in VerificationPetri Nets in System Modeling