epsf

SMILE user manual
release 4.0
Henk Eertink

• Contents
• Introduction
• A quick tour through SMILE 
  • Specification and simulation tree
  • ADT Interface
  • Info window
  • Command interface
• User Manual
  • Simulation trees and EFSMs 
  • Using Tcl to build a simulation tree 
  • Executing test cases  
  • Instantiating variables 
  • Ignoring behaviour expressions 
  • Execution towards a behaviour expression  
  • Proving that particular actions exist 
    • Defining actions
    • Using actions to execute a specification
    • How does this work
  • Narrowing 
• Reference manual
  • SMILESpecification window 
    • Simulate pull-down menu
    • Target.. sub-menu
    • Ignore.. sub-menu
    • Options pull-down menu
    • Misc pull-down menu
    • Help pull-down menu
  • SMILE Simulation Tree Window
    • Execute pull-down menu
    • Execute options pull-down menu
    • Event pull-down menu
    • Node pull-down menu
    • Display pull-down menu
    • Misc pull-down menu
    • Traversing the simulation tree
  • SMILEAdt Interface window 
    • ADT specification window
    • Goal window
    • Solution window
  • Info Window
  • Command Window
• Programming SMILE 
  • Variables with special meaning
    • Integer variables:
    • Boolean variables:
  • Commands
  • Predicates
  • Some example Tcl-programs
• Customizing SMILE
  • Customizing the display
  • Memory management
  • Narrowing constants
  • Setting constants for everybody
  • Out of Memory
  • Adding commands to SMILE
• Acknowledgements
  • More Information
• References
• Index
• About this document ...