G. Del Castillo. Towards comprehensive tool support for abstract state machines: The ASM Workbench tool environment and architecture. In D. Hutter, W. Stephan, P. Traverso, , and M. Ullmann, editors, Applied Formal Methods -- FM Trends 98, volume 1641 of LNCS, pages 311--325. Springer, 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Formal Definition of Anlauff's eXtensible Abstract State.. - Kutter (2002) (1 citation) (Correct)
....amount of higher mathematics to describe the static part of algorithms. Functional programming is ideal to model higher mathematics and it uses modularization concepts based on mathematical concepts. This approach has led to a number of ASM implementations based on functional languages [29, 11]. Odersky [24] proposes the opposite way, e.g. to use variable functions as an additional construct in functional programming languages. In both cases a functional type system is proposed. The introduction of such a type system is helpful for cases where the described algorithms fits well into the ....
G. Del Castillo. Towards comprehensive tool support for abstract state machines: The asm workbench tool environment and architecture. In D. Hutter, W. Stephan, P. Treaverso, and M. Ullman, editors, Applied Formal Methods -- FM-Trends 98, number 1641 in LNCS, pages 311--325. Springer, 1999.
IP-based System Design within the Paradise Design.. - Hardt, Rammig, Böke.. Self-citation (Castillo) (Correct)
.... nevertheless such models can be formulated at a very high level of abstraction, where neither the source code nor any implementation details are revealed (which may be a decisive argument for commercial providers, for which IP protection is an issue) Our ASM Workbench tool environment [11] already provides support for both simulation and model checking of Abstract State Machines. What remains to be done is to equip the basic language of ASMs and the supporting tools with interface mechanisms appropriate for IP based system level design. In principle, this can be done on the same ....
G. Del Castillo. Towards comprehensive tool support for Abstract State Machines: 42 The ASM Workbench tool environment and architecture. In D. Hutter et al., editors, Current Trends in Applied Formal Methods (FM-Trends 98), volume 1641 of LNCS, pages 311-325. Springer, 1999.
Computer-Aided Analysis and Validation of Heterogeneous.. - Castillo, Glässer Self-citation (Castillo) (Correct)
....1 ) if self = an then prog(a n ) where fa 1 ; an g are the agents and prog(a i ) is the rule to be executed by agent a i , i.e. the program of a i . 4. 4 The ASM SL Language The ASM language, including all constructs above, is supported by the ASM Workbench tool environment [4], which provides syntax and type checking of ASM speci cations as well as their simulation and debugging. The source language for the ASM Workbench, called ASM SL, includes some additional features which are necessary for practical modelling tasks: constructs for de ning types, functions, and ....
G. Del Castillo. Towards comprehensive tool support for Abstract State Machines: The ASM Workbench tool environment and architecture. In D. Hutter, W. Stephan, P. Traverso, and M. Ullmann, editors, Current Trends in Applied Formal Methods (FM-Trends 98), volume 1641 of LNCS, pages 311-325. Springer, 1999.
Model Checking Support for the ASM High-Level Language - Castillo, Winter (2000) (9 citations) Self-citation (Castillo) (Correct)
....level of abstraction. Traditionally, the verification task is done by means of hand written mathematical proofs. Tool support for the verification process is obviously needed for a broader acceptance. Our contribution to this task is the development of an interface between the ASM Workbench [2] and the SMV model checker [11] The ASM Workbench is a tool environment, based on a typed version of ASM, which includes a type checker and a simulator for ASMs. SMV has been chosen as a typical representative of a class of model checkers based on transition systems and could be easily replaced ....
....of a i . The FLASH model presented in Sect. 4 is an example of this style of modelling, except that all agents execute exactly the same program, but on different data. The ASM SL Notation The ASM language, including all constructs above, is supported by the ASM Workbench tool environment [2], which provides syntax and type checking of ASM specifications as well as their simulation and debugging. The source language for the ASM Workbench, called ASM SL, includes some additional features which are necessary for practical modelling tasks: constructs for defining types, functions, and ....
G. Del Castillo. Towards comprehensive tool support for Abstract State Machines: The ASM Workbench tool environment and architecture. In D. Hutter et al., eds., Applied Formal Methods -- FM-Trends 98 , LNCS 1641, pp. 311--325. Springer, 1999.
A Proposal for an Abstract Neural Machine - Sona (2002) (Correct)
No context found.
G. Del Castillo. Towards comprehensive tool support for abstract state machines: The ASM Workbench tool environment and architecture. In D. Hutter, W. Stephan, P. Traverso, , and M. Ullmann, editors, Applied Formal Methods -- FM Trends 98, volume 1641 of LNCS, pages 311--325. Springer, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC