292 search results - page 22 / 59 » Model-checking agent refinement |
105
Voted
ATVA
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Symbolic Trajectory Evaluation (STE) is a powerful technique for hardware model checking. It is based on a 3-valued symbolic simulation, using 0,1 and X n"), where t...
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
123
click to vote
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
71
Voted
FUIN
2006
15 years 15 days ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...
113
click to vote
DASC
2006
IEEE
15 years 4 months ago
2006
IEEE
We present a new approach to ensure the secure execution of itinerary-driven mobile agents, in which the specification of the navigational behavior of an agent is separated from t...