156 search results - page 4 / 32 » The GOQL Language and its Formal Specifications |
IAT
2006
IEEE
15 years 3 months ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
SIGPLAN
2002
14 years 9 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
AAAI
1998
14 years 10 months ago
1998
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
74
Voted
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
ASYNC
2007
IEEE
15 years 1 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...