1796 search results - page 24 / 360 » An Approach to Compositional Model Checking |
IEAAIE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
148
click to vote
LICS
2002
IEEE
15 years 6 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
110
Voted
CAV
2001
Springer
15 years 6 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
130
Voted
WWW
2005
ACM
16 years 2 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
119
Voted
CBSE
2004
Springer
15 years 5 months ago
2004
Springer
A stepwise approach is proposed to predict the performance of component compositions. The approach considers the major factors influencing the performance of component compositions...