3387 search results - page 322 / 678 » Model-Checking for Real-Time Systems |
176
click to vote
EWSA
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
187
click to vote
GG
2004
Springer
16 years 20 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
189
click to vote
CODES
2002
IEEE
16 years 7 days ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
222
click to vote
ACMICEC
2007
ACM
15 years 11 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
208
click to vote
CMSB
2008
Springer
15 years 9 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...