https://github.com/logicalhacking/extended_finite_state_machines
Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machines".
https://github.com/logicalhacking/extended_finite_state_machines
Last synced: 4 months ago
JSON representation
Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machines".
- Host: GitHub
- URL: https://github.com/logicalhacking/extended_finite_state_machines
- Owner: logicalhacking
- License: other
- Created: 2020-12-19T08:43:00.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2022-03-26T09:15:25.000Z (about 3 years ago)
- Last Synced: 2025-01-17T03:12:08.210Z (5 months ago)
- Language: Isabelle
- Size: 71.3 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
- Citation: CITATION
Awesome Lists containing this project
README
# A Formal Model of Extended Finite State Machines (Extended_Finite_State_Machines)
This git repository contains a local mirror of the
[Archive of Formal Proofs (AFP)](https://www.isa-afp.org) entry
[*A Formal Model of Extended Finite State Machines*](https://www.isa-afp.org/entries/Extended_Finite_State_Machines.html).
The official AFP releases are tagged. Additionally, this repository
may contain extensions (i.e., a development version) that may be
submitted, as an update to the existing entry, at a later point in time.
## How to build
```console
achim@logicalhacking:~$ isabelle build -D Extended_Finite_State_Machines-devel
```
## Authors
* Michael Foster
* [Achim D. Brucker](http://www.brucker.ch/)
* Ramsay G. Taylor
* John Derrick
## License
This project is licensed under a 3-clause BSD-style license.
SPDX-License-Identifier: BSD-3-Clause
## Upstream Repository
The upstream git repository, i.e., the single source of truth, for this project is hosted
by the [Software Assurance & Security Research Team](https://logicalhacking.com) at
.
## Publications
* Michael Foster, Ramsay G. Taylor, Achim D. Brucker, and John Derrick.
Formalising Extended Finite State Machine Transition Merging. In ICFEM.
Lecture Notes in Computer Science (11232), pages 373-387, Springer-Verlag,
2018, [doi:10.1007/978-3-030-02450-5](https://doi.org/10.1007/978-3-030-02450-5).