Concepedia

IMPROVING DEPENDABILITY OF LOGIC CONTROLLERS BY ALGORITHMIC VERIFICATION

Olaf Stursberg, Sven Lohmann, Sebastian Engell

IFAC Proceedings Volumes · 2005 · 12 citations · 5 references

Concepts

ComputingComputer EngineeringComputer ScienceFault-tolerant ComputingFault-tolerant SystemsFormal MethodsController DesignDeductive VerificationDependability AnalysisDependability MetricsModel CheckingReliable System DesignFinite-state Verification

References

5

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

Fundamental Concepts of Dependability

A. Avižienis, J.-C. Laprie, Brian Randell · 2000 · 402 citations

Engineering, Computer Engineering, Computer Science +17

Automatic verification of sequential control systems using temporal logic

Il Moon, Gary J. Powers, Jerry R. Burch et al. · AIChE Journal · 1992 · 91 citations · Full text

Engineering, Computer Engineering, Computer Science +17

Verification of Sequential Function Charts Using SMV.

Sébastien Bornot, Ralf Huuck, Ben Lukoschus · 2000 · 32 citations

Computing, Computer Science, Formal Methods +8

Algorithmic verification of logic controllers given as sequential function charts

Manuel Pereira Remelhe, Sven Lohmann, Olaf Stursberg et al. · 2005 · 21 citations

Computing, Computer Engineering, Computer Science +17