Action Language is a specification language for reactive software systems. In this paper, we present the syntax and the semantics of the Action Language and we also present an infinite-state symbolic model checker called Action Language Verifier (ALV) that verifies (or falsifies) CTL properties of Action Language specifications. ALV is built on top of the Composite Symbolic Library, which is a ...

Action Language is a specification language for reactive software systems. In this paper we present the Action Language Verifier which consists of 1) a compiler that converts Action Language specifications to composite symbolic representations, and 2) an infinite-state symbolic model checker which verifies (or falsifies) CTL properties of Action Language specifications. Our symbolic manipulator...

the visual form of writing has not only meaning apart from the content of writing but also different language from the language of writing. based on this claim, graphologists believe that it is possible to recognize writers’ thought through their handwriting. in fact, graphologists constituted some principles for analyzing handwriting as well as semiotic system for interpreting the visual diver...

secret is one of the key notions in studying the content of ibn 'arabi's mysticism. secret is a divine bounty which conferred upon the creatures by god and indicates a path stretching byond the reason. as an extension of secret god can be experienced by the mystic. of course undestanding god is a matter of faith and intuition and does not fit the medium of reason. the limits of langua...