behavior

This package introduces a set of modeling techniques for exploring behavior in software systems. Models such as state machines and Petri nets can be used to model the behavior of a system, and Markov chains are used to generate events to help in the simulation of systems.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedWednesday, August 29th, 2018 8:55:06pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/johnstonskj/behavior.gita318dd83efa70287fcfb006cc071e3ca2fbe7a71
Last checkedSaturday, November 17th, 2018 5:12:33am (UTC)
Last editedTuesday, October 2nd, 2018 3:47:45pm (UTC)
Modules
  • behavior/scribblings/behavior.scrbl
  • behavior/test/markov-chain.rkt
  • behavior/reporter.rkt
  • behavior/fsm.rkt
  • behavior/test/scribblings.rkt
  • behavior/petri-net.rkt
  • behavior/markov-chain.rkt
  • behavior/test/utilities.rkt
  • behavior/test/petri-net.rkt
  • behavior/test/fsm.rkt