928 search results - page 113 / 186 » Interpolation-sequence based model checking |
84
Voted
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
80
Voted
ACSD
2003
IEEE
15 years 1 months ago
2003
IEEE
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
68
Voted
ATVA
2008
Springer
15 years 6 days ago
2008
Springer
Authentication and secrecy have been widely investigated in security protocols. They are closely related to each other and variants of definitions have been proposed, which focus o...
92
Voted
ESORICS
2002
Springer
15 years 9 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
95
Voted
HASE
2007
IEEE
15 years 2 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...