Concepedia

Formal techniques for verification of complex real-time systems

Unknown author(s)

TU/e Research Portal · 2002 · 47 citations · 0 references

Open access

Concepts

ComputingComputer EngineeringComputer ScienceFormal MethodsReal-time SystemsSystems ModelingAssertion-based VerificationDeductive VerificationExecutable System ModelsModel CheckingReal-time Systems DesignVerificationFormal SpecificationsReal-time System VerificationReal-time Systems VerificationTimed AutomataTimed Model Checking

Abstract

formele talen / real-time computers / temporele logica / discrete simulatie / modelcontrole / toestandsruimte-analyse