714 search results - page 92 / 143 » Formal Verification of Cognitive Models |
111
click to vote
ENTCS
2006
15 years 1 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
132
Voted
IJSI
2008
15 years 1 months ago
2008
In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...
132
click to vote
FAC
2008
15 years 1 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
134
Voted
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
134
Voted
APN
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...