homepage: https://github.com/Pablo-Dominguez/my-stack-fsm-package#readme
changelog-type: markdown
hash: 792c647cde4996b166a374153a345a0638b705d1872488a236014ae2450461ed
test-bench-deps: {}
maintainer: pabdombal@alum.us.es
synopsis: Basic concepts of finite state machines.
changelog: |
  # Changelog for my-fsm-stack-package

  ## Unreleased changes
basic-deps:
  base: '>=4.13 && <5'
  matrix: '>=0.3.6 && <0.4'
  containers: '>=0.5'
  vector: '>=0.12.1 && <0.13'
all-versions:
- 1.0.0
author: Pablo Dominguez
latest: 1.0.0
description-type: markdown
description: "# A haskell package in model checking\n\nThis is the repo for the package
  I developed in haskell as the project for my dissertation. The package consists
  in the following three parts:\n\n### FSM.Automata\n\nIn this module, we define the
  `data Automata` so it is possible to construct an Automata, perform basic operations
  with it or get information from it.\n\n### FSM.States\n\nIn this module we strongly
  use the [Data Map](http://hackage.haskell.org/package/containers-0.6.2.1/docs/Data-Map-Strict.html)
  package to store information in the states. Although this module may seem simple,
  it took a lot of hours of designing.\n\nI decided to keep the packages independents
  from each other so you can use one without having to use the other. Because of this,
  it is possible to create an `AutomataInfo` object of an `Automata` that is not even
  defined.\n\n### FSM.Logic\n\nIn this final module, we combine the two previous modules
  and some functions implemented in them so we can apply the CTL model checking algorithm
  over the `Automata` and the `AutomataInfo`. \n"
license-name: BSD-3-Clause

Update from Hackage at 2020-06-07T09:38:44Z
Update from Hackage at 2020-06-07T09:38:44Z
