Bookmark Saya

arXiv Open Access 2013

RuleRunner technical report

Alan Perotti
Lihat Sumber

Abstrak

Rule-based run-time monitoring system for finite traces, with FLTL verdict and quadratic complexity.

Topik & Kata Kunci

cs.LO cs.SE

Penulis (1)

A

Alan Perotti

Format Sitasi

APA MLA BibTeX
Perotti, A. (2013). RuleRunner technical report. https://arxiv.org/abs/1306.0810

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2013
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓