Skip to main content

An official website of the United States government

Here’s how you know

Here’s how you know

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Data
Metrics
Organizations
User Guide
Contact

Search datasets

Found 1 dataset matching filters. (clear all filters)

Sort by

Draw a geographic box

Draw and drag to set the area, then Apply . Use Within/Intersect to match datasets to the box. The map displays top 20 Within results.

Within

Intersect

#1 Federal
Translations from OBM Library and SysML Behavior Examples to Alloy
- Organization: National Institute of Standards and Technology
- Dataset Last Updated: October 25, 2024
This repository includes Alloy Analyzer code from the development of NIST Interagency Report (NISTIR) 8388-upd1. The report presents an approach to verifying executability of system behavior...
- html
Search relevance: 1.00 | Views last month: 0 | Catalog Last Checked: August 02, 2025 at 03:49 PM

Filters

Clear filters

Filter selections are applied on each click

Filter by Geography
Start typing to see suggestions or use the pencil button to open a larger map

Filter by keyword
Start typing to see suggestions

Popular keywords:

Filter by organization
Start typing to select an organization

Popular organizations:

Organization types

Federal Government

City Government

State Government

County Government

University

Tribal

Non-Profit

Filter by publisher
Start typing to select a publisher

Popular publishers:

Spatial data options

All datasets

Geospatial only

Non-geospatial only

About
Open Government
Website Policies
PERFORMANCE.GOV
Data.gov on Github

Follow @GSA

data.gov

An official website of the GSA's Technology Transformation Services

About GSA
Accessibility statement
FOIA requests
No FEAR Act data
Office of the Inspector General
Performance reports
Privacy policy

Looking for U.S. government information and services?

Visit USA.gov