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 failing tests

Authors
Documentation
Tags
Last updatedMonday, June 20th, 2022 7:48:13pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/johnstonskj/behavior.git6585145db8ba7304c09248835c518ff9245385e3
Last checkedTuesday, October 4th, 2022 3:14:12pm (UTC)
Last editedTuesday, October 2nd, 2018 3:47:45pm (UTC)
Date addedN/A
Modules
  • behavior/scribblings/behavior.scrbl
  • behavior/reporter.rkt
  • behavior/petri-net.rkt
  • behavior/fsm.rkt
  • behavior/test/petri-net.rkt
  • behavior/test/scribblings.rkt
  • behavior/test/utilities.rkt
  • behavior/markov-chain.rkt
  • behavior/test/markov-chain.rkt
  • behavior/test/fsm.rkt