Repository details
Spec Patterns
Name of repository
Spec Patterns
Additional name(s)
- Specification Patterns
Repository URL
Subject(s)
Description
Specification Patterns is an online repository for information about property specification for finite-state verification. The intent of this repository is to collect patterns that occur commonly in the specification of concurrent and reactive systems.
Contact(s)
- spec-patterns@cis.ksu.edu
Keyword(s)
Repository type(s)
- disciplinary
Mission statement for designated community
Research data repository language(s)
- English
Data and/or service provider
- dataProvider
- serviceProvider
Institutions (2)
Institution
Additional name(s)
- SAnToS Lab
- CIS
- K-State
Country
Type(s) of responsibility
- general
- technical
- funding
Type of institution
non-profit
Start date of responsibility
1998
Additional name(s)
- NSF
Country
Type(s) of responsibility
- funding
Type of institution
non-profit
Start date of responsibility
1998
Database access
Type of access to research data repository
open
Data access (1)
Type of access to data
open
Data licenses (1)
DataLicense
Data upload (1)
Type of data upload
restricted
Data upload restriction type(s)
- other
Persistent identifier system(s)
- none
Name of the repository software
- unknown
Enhanced Publication
unknown
Quality management
yes
Remarks
Entry date
2012-12-05
Last update
2023-04-11
Cite this re3data.org record:
re3data.org: Spec Patterns; editing status 2023-04-11; re3data.org - Registry of Research Data Repositories. http://doi.org/10.17616/R3GP4J last accessed: 2025-04-29- Current projects
- EOSC FAIR-IMPACT
-
To the extent possible under law,
re3data.org
has waived all copyright and related or neighboring rights to
the database entries of re3data.org.
-
Except where otherwise noted, content on this site is licensed under a
Creative Commons Attribution 4.0 International License
.
- Cite this service: re3data.org - Registry of Research Data Repositories. https://doi.org/10.17616/R3D last accessed: 2025-04-29
