Model checking RAISE applicative specifications (Q470000): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
| (13 intermediate revisions by 5 users not shown) | |||
| Property / author | |||
| Property / author: Juan I. Perna / rank | |||
| Property / author | |||
| Property / author: Juan I. Perna / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68N30 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q60 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6368384 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
RAISE | |||
| Property / zbMATH Keywords: RAISE / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
model checking | |||
| Property / zbMATH Keywords: model checking / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
applicative specifications | |||
| Property / zbMATH Keywords: applicative specifications / rank | |||
Normal rank | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: RAISE / rank | |||
Normal rank | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: PROMELA / rank | |||
Normal rank | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: SPIN / rank | |||
Normal rank | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: ProB / rank | |||
Normal rank | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: Java PathFinder / rank | |||
Normal rank | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: Bandera / rank | |||
Normal rank | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: Z / rank | |||
Normal rank | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: SLAM / rank | |||
Normal rank | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: NuSMV / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2011856183 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 22:22, 19 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model checking RAISE applicative specifications |
scientific article |
Statements
Model checking RAISE applicative specifications (English)
0 references
11 November 2014
0 references
RAISE
0 references
model checking
0 references
applicative specifications
0 references
