928 search results - page 70 / 186 » Interpolation-sequence based model checking |
142
Voted
CADE
2008
Springer
16 years 28 days ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
105
Voted
ESORICS
2003
Springer
15 years 5 months ago
2003
Springer
In this paper, we describe a novel approach to policy-based intrusion detection. The model we propose checks legality of information flows between objects in the system, according...
101
Voted
IAAI
2001
15 years 2 months ago
2001
ADIOP is an application for Automated Diagnosis of InterOperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices...
156
click to vote
SBMF
2010
Springer
14 years 7 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
IEE
2008
15 years 4 days ago
2008
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...