Concepedia

On-Line Assertion-Based Verification with Proven Correct Monitors

D. Borrione, Ziyang Liu, Katell Morin-Allory, P. Ostier, Laurent Fesquet

HAL (Le Centre pour la Communication Scientifique Directe) · 2005 · 12 citations · 2 references

Concepts

Abstract

ISBN 0-7803-9270-1

References

2

RuleBase: an industry-oriented formal verification tool

Ilan Beer, S. Ben-David, Cindy Eisner et al. · 33rd Design Automation Conference Proceedings, 1996 · 2005 · 41 citations

, , +10

A proof of correctness for the construction of property monitors

Katell Morin-Allory, D. Borrione · 2006 · 14 citations

, , +17