afp-mirror
/
Automated_Stateful_Protocol_Verification
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Renamed upstream repository.

This commit is contained in:
Achim D. Brucker 2021-12-29 18:55:15 +00:00
parent f1b3fa41c2
commit 26cf49dd0c
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -43,10 +43,10 @@ This project is licensed under a 3-clause BSD-style license.
SPDX-License-Identifier: BSD-3-Clause
## Master Repository
## Upstream Repository
The master git repository for this project is hosted by the [Software
Assurance & Security Research Team](https://logicalhacking.com) at
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
<https://git.logicalhacking.com/afp-mirror/Automated_Stateful_Protocol_Verification>.
## Publications