Travelled to:1 × Italy
2 × Germany
Collaborated with:∅ K.Winter
Talks about:tool (4) asm (3) workbench (2) abstract (2) support (2) environ (2) machin (2) state (2) model (2) architectur (1)
Person: Giuseppe Del Castillo
DBLP: Castillo:Giuseppe_Del
Contributed to:
20012000
1998Wrote 3 papers:
- TACAS-2001-Castillo #analysis #modelling #state machine #tool support #validation
- The ASM Workbench — A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration (GDC), pp. 578–581.
- TACAS-2000-CastilloW #model checking
- Model Checking Support for the ASM High-Level Language (GDC, KW), pp. 331–346.
- FM-1998-Castillo #architecture #state machine #tool support #towards
- Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture (GDC), pp. 311–325.