220 search results - page 14 / 44 » Logic-Based Agent Verification |
CADE
2007
Springer
14 years 10 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
ENTCS
2008
13 years 10 months ago
2008
In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has b...
ER
2004
Springer
14 years 3 months ago
2004
Springer
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
JAISE
2010
13 years 4 months ago
2010
Abstract. This paper presents an agent-based, high-level security system for user verification. The system verifies a user's identity by processing data from several low-lever...