You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
ci/woodpecker/push/build Pipeline was successful
Details
|
1 year ago | |
---|---|---|
.woodpecker | 1 year ago | |
Extended_Finite_State_Machine_Inference | 1 year ago | |
CITATION | 2 years ago | |
LICENSE | 2 years ago | |
README.md | 1 year ago |
README.md
Inference of Extended Finite State Machines (Extended_Finite_State_Machine_Inference)
This git repository contains a local mirror of the Archive of Formal Proofs (AFP) entry Inference of Extended Finite State Machines.
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
achim@logicalhacking:~$ isabelle build -D Extended_Finite_State_Machine_Inference-devel
Authors
- Michael Foster
- Achim D. Brucker
- 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 at https://git.logicalhacking.com/afp-mirror/Extended_Finite_State_Machine_Inference.
Publications
- Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, and John Derrick. Incorporating Data into EFSM Inference. In Software Engineering and Formal Methods (SEFM). Lecture Notes in Computer Science (11724), pages 257-272, Springer-Verlag, 2019, doi:10.1007/978-3-030-30446-1_14. https://www.brucker.ch/bibliography/abstract/foster.ea-incorporating-2019