Concepedia

Verification of Real-Time Systems using Linear Relation Analysis

Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff

Formal Methods in System Design · 1997 · 260 citations · 13 references

Concepts

ComputingComputer EngineeringComputer ScienceFormal MethodsReal-time SystemsSystems AnalysisEquivalence CheckingFunctional VerificationModel CheckingReal-time Systems ArchitectureReal-time Systems DesignVerificationModel-based VerificationReal-time System ModelsReal-time System VerificationReal-time Systems ModelingReal-time Systems Verification

References

13

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

The algorithmic analysis of hybrid systems

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text

Computing, Computer Science, Mathematics +17

Automatic discovery of linear restraints among variables of a program

Patrick Cousot, Nicolas Halbwachs · 1978 · 1.6K citations

Computing, Computer Science, Data Mining +10

Model-Checking in Dense Real-Time

Rajeev Alur, Costas Courcoubetis, David L. Dill · Information and Computation · 1993 · 829 citations

Computing, Computer Engineering, Computer Science +10

Abstract interpretation and application to logic programs

Patrick Cousot, Radhia Cousot · The Journal of Logic Programming · 1992 · 585 citations

Computing, Computer Science, Formal Methods +11