5525 search results - page 198 / 1105 » Verification of Model Transformations |
134
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
This paper presents an approach and a toolset for exploiting the benefits of conceptual modeling in the quality evaluation tasks that take place both before the deployment and dur...
180
Voted
ASIAN
2009
Springer
15 years 4 months ago
2009
Springer
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
235
Voted
ECCB
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
146
Voted
ICTAC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
226
Voted
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...