4962 search results - page 671 / 993 » Stochastic Model Checking |
105
Voted
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
113
Voted
ISSS
2000
IEEE
15 years 7 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
112
click to vote
KBSE
2000
IEEE
15 years 7 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
129
Voted
TPHOL
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
141
Voted
DBPL
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...