Specification and Automated Verification of Real-Time Behaviour: A case Study

J.H. Andersen, C.H. Kristensen, A. Skou

Research output: Book/Report › Book › Communication

1 Citation (Scopus)

Abstract

In this paper we sketch a method for specification and automatic verification of real-time software properties.

Original language	Danish

Number of pages	24
Publication status	Published - 1996

Series	B R I C S Report Series
ISSN	0909-0878

@book{d3ca2270003411dab4d5000ea68e967b,

title = "Specification and Automated Verification of Real-Time Behaviour: A case Study",

abstract = "In this paper we sketch a method for specification and automatic verification of real-time software properties.",

author = "J.H. Andersen and C.H. Kristensen and A. Skou",

note = "Teaching report",

year = "1996",

language = "Dansk",

series = "B R I C S Report Series",

}

TY - BOOK

T1 - Specification and Automated Verification of Real-Time Behaviour

T2 - A case Study

AU - Andersen, J.H.

AU - Kristensen, C.H.

AU - Skou, A.

N1 - Teaching report

PY - 1996

Y1 - 1996

N2 - In this paper we sketch a method for specification and automatic verification of real-time software properties.

AB - In this paper we sketch a method for specification and automatic verification of real-time software properties.

M3 - Bog

T3 - B R I C S Report Series

BT - Specification and Automated Verification of Real-Time Behaviour

ER -