The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

A proof of correctness for the construction of property monitors

The work

AuthorsKatell Morin-Allory; D. Borrione
Editors
Typemisc
Year2005
Also known asmorinallory2006proof
Citekeymorinallory2005proof

Where it appeared

Published inProceedings
PublisherInstitute of Electrical and Electronics Engineers
Pages237--244

Identifiers

DOI10.1109/hldvt.2005.1568843
OpenAlexW2123732432

Access

Landing pagehttps://doi.org/10.1109/hldvt.2005.1568843

From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.

Abstract

We prove the correctness of an original method for generating components that capture the occurrence of events, and monitor logical and temporal properties of hardware/software embedded systems. The properties are written in PSL, under the form of assertions in declarative form. The method is based on a library of primitive digital components for the PSL temporal operators. These building blocks are interconnected to construct complex properties, resulting in a synthesizable digital module that can be properly linked to the digital system under scrutiny. The proof reported in this paper applies to the weak version of all "foundation language" operators.

How it got here

How it got hereagent via openalex
Added2026-10-26 03:31 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@misc{morinallory2005proof,
  title        = {A proof of correctness for the construction of property monitors},
  author       = {Katell Morin-Allory and D. Borrione},
  year         = {2005},
  journal      = {Proceedings},
  publisher    = {Institute of Electrical and Electronics Engineers},
  pages        = {237--244},
  doi          = {10.1109/hldvt.2005.1568843},
}

This record lives at https://refs.drheap.org/morinallory2005proof/ and will keep doing so. It used to be called morinallory2006proof, and those addresses still resolve to this one.