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 updatedMonday, February 18th, 2019 10:49:02pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/johnstonskj/behavior.git72103db75c07d52d9027b34f0960532e235f9c10
Last checkedSunday, November 17th, 2019 5:36:56am (UTC)
Last editedTuesday, October 2nd, 2018 3:47:45pm (UTC)
Date addedN/A
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