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 2 datasets matching "Translations from OBM Library and SysML Behavior Examples to Alloy".

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...
- MD
Search relevance: 410.12 | Views last month: 1 | Catalog Last Checked: September 10, 2026 at 05:53 PM
#2 Federal
Translations from OBM Library and SysML Behavior Examples to Alloy
- Organization: Department of Commerce
- 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...
- MD
Search relevance: 407.95 | Views last month: 0 | Catalog Last Checked: October 02, 2026 at 07:53 PM

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 Type

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

Data Access

Only show datasets with a downloadable file

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

Contact us

How can we help you?

Default Ticket Form

Your name Email address Subject Description

Please enter the details of your request. A member of our support staff will respond as soon as possible.

Attachments

Add up to 5 files

Data.gov Feedback

Your name Email address Subject Description

Please enter the details of your request. A member of our support staff will respond as soon as possible.

Attachments

Add up to 5 files

Contact the USAGov team

Your name Email address Subject Description

Please enter the details of your request. A member of our support staff will respond as soon as possible.

Attachments

Add up to 5 files