Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machines".
選択できるのは25トピックまでです。 トピックは、先頭が英数字で、英数字とダッシュ('-')を使用した35文字以内のものにしてください。
Achim D. Brucker 9fd9332f74 Renamed session to avoid name clash with offical AFP entry. 1ヶ月前
.ci Initial commit. 1ヶ月前
Extended_Finite_State_Machines Renamed session to avoid name clash with offical AFP entry. 1ヶ月前
CITATION Initial commit. 1ヶ月前
LICENSE Initial commit. 1ヶ月前
README.md Renamed session to avoid name clash with offical AFP entry. 1ヶ月前

README.md

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) entry A Formal Model 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_Machines-devel

Authors

License

This project is licensed under a 3-clause BSD-style license.

SPDX-License-Identifier: BSD-3-Clause

Master Repository

The master git repository for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com/afp-mirror/Extended_Finite_State_Machines.

Publications