1895 search results - page 290 / 379 » Using ATL for Checking Models |
148
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
146
click to vote
DDECS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
103
click to vote
ECOWS
2006
Springer
15 years 6 months ago
2006
Springer
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional conven...
153
click to vote
ACSD
2001
IEEE
15 years 6 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
130
Voted
ASYNC
1997
IEEE
15 years 6 months ago
1997
IEEE
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...