Verus: A tool for quantitative analysis of finite-state real-time systems

S. Campos; E. Clarke; W. Marrero; M. Minea

doi:10.1145/216636.216661

Verus: A tool for quantitative analysis of finite-state real-time systems

S. Campos
, E. Clarke
, W. Marrero
, M. Minea

Carnegie Mellon University

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	70-78
Number of pages	9
DOIs	https://doi.org/10.1145/216636.216661
State	Published - Nov 1 1995
Externally published	Yes
Event	1995 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, LCTES 1995 - San Diego, United States Duration: Jun 21 1995 → Jun 22 1995

Conference

Conference	1995 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, LCTES 1995
Country/Territory	United States
City	San Diego
Period	6/21/95 → 6/22/95

ASJC Scopus Subject Areas

Software

Access to Document

10.1145/216636.216661

Cite this

@conference{699d2b60bfe0464586d91bd706ea0624,

title = "Verus: A tool for quantitative analysis of finite-state real-time systems",

author = "S. Campos and E. Clarke and W. Marrero and M. Minea",

year = "1995",

month = nov,

day = "1",

doi = "10.1145/216636.216661",

language = "English",

pages = "70--78",

note = "1995 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, LCTES 1995 ; Conference date: 21-06-1995 Through 22-06-1995",

}

TY - CONF

T1 - Verus

T2 - 1995 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, LCTES 1995

AU - Campos, S.

AU - Clarke, E.

AU - Marrero, W.

AU - Minea, M.

PY - 1995/11/1

Y1 - 1995/11/1

UR - https://www.scopus.com/pages/publications/84994440332

UR - https://www.scopus.com/pages/publications/84994440332#tab=citedBy

U2 - 10.1145/216636.216661

DO - 10.1145/216636.216661

M3 - Paper

AN - SCOPUS:84994440332

SP - 70

EP - 78

Y2 - 21 June 1995 through 22 June 1995

ER -

Verus: A tool for quantitative analysis of finite-state real-time systems

Conference

ASJC Scopus Subject Areas

Access to Document

Other files and links

Cite this