1914 search results - page 164 / 383 » Verification by Abstract Interpretation |
130
Voted
ASPDAC
2001
ACM
15 years 4 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
96
Voted
WIA
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We describe a general automata-theoretic approach for analyzing the verification problems (binary reachability, safety, etc.) of discrete timed automata augmented with va...
95
Voted
KBSE
1995
IEEE
15 years 4 months ago
1995
IEEE
cation at some level of abstraction, abandoning the semantic information provided by the specification. In this paper, we propose a methodology that ships the overhead of formal re...
117
Voted
AIMS
2010
Springer
15 years 2 months ago
2010
Springer
Service-level agreements (SLA) definition and monitoring are open issues within the IT Service Management (ITSM) domain. Our main goals are to propose a model-based approach to IT ...
112
Voted
WOODPECKER
2001
15 years 2 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...