575 search results - page 73 / 115 » Formal Coverification of Embedded Systems Using Model Checki... |
119
Voted
ISOLA
2010
Springer
15 years 19 days ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
121
click to vote
FAC
2007
15 years 2 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
131
click to vote
ISOLA
2010
Springer
15 years 3 days ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
113
Voted
ICFEM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
118
Voted
ENTCS
2006
15 years 2 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...