Work

On-Line Assertion-Based Verification with Proven Correct Monitors

Year: 2005

Type: conference-paper

Source: HAL

Authors: Borrione, D., Liu, Z.W., Morin-Allory, Katell, Ostier, P., Fesquet, Laurent

Institutions: Institut polytechnique de Grenoble, Techniques of Informatics and Microelectronics for Integrated Systems Architecture, École Nationale Supérieure d'Informatique

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4298288116

FWCI: 0.795

Cites: 11

Cited by: 12

Related to: 10