1104 search results - page 157 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
130
Voted
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
118
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Supercomputers are increasingly complex systems merging conventional microprocessors with system on a chip level designs that provide the network interface and router. At Sandia N...
134
click to vote
SAFECOMP
2007
Springer
15 years 9 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
124
Voted
IEEESCC
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
165
click to vote
PRDC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...