Go to the first, previous, next, last section, table of contents.

Command Index

!

  • !
  • !

    • a

  • add_fairness
  • add_fairness
  • add_init
  • add_init
  • add_trans
  • add_trans
  • alias
  • alias
  • assign
  • assign

    • b

  • build_model
  • build_model
  • build_variables
  • build_variables

    • c

  • check_compute
  • check_invar
  • check_ltlspec
  • check_ltlspec
  • check_spec
  • check_spec
  • check_trans
  • check_trans
  • compute
  • compute
  • compute_fairness
  • compute_fairness
  • compute_reachable
  • compute_reachable

    • d

  • dump_model
  • dump_model
  • dynamic_var_ordering
  • dynamic_var_ordering

    • e

  • echo
  • echo
  • eval
  • eval

    • f

  • flatten_hierarchy

    • g

  • go
  • go
  • goto_state
  • goto_state

    • h

  • help
  • help
  • history
  • history
  • history substitution

    • p

  • pick_state
  • pick_state
  • print_bdd_stats
  • print_bdd_stats
  • print_current_state
  • print_current_state
  • print_iwls95info
  • print_iwls95info
  • print_iwls95options
  • print_iwls95options
  • print_reachable_states
  • print_reachable_states
  • print_usage
  • print_usage
  • process_model
  • process_model

    • q

  • quit
  • quit

    • r

  • read_model
  • read_model, read_model
  • reset
  • reset
  • restore_model
  • restore_model

    • s

  • set
  • set
  • set_bdd_parameters
  • set_bdd_parameters
  • show_traces
  • show_traces
  • show_vars
  • show_vars
  • simulate
  • simulate
  • source
  • source
  • step
  • step

    • t

  • time
  • time

    • u

  • unalias
  • unalias
  • unset
  • unset
  • usage
  • usage

    • w

  • which
  • which
  • write_order
  • write_order


    • NuSMV <nusmv@irst.itc.it>