Implementing and Verifying MSC Specifications Using PROMELA/XSPIN

DIMACS Series in Discrete Mathematics and Theoretical Computer Science

doi 10.1090/dimacs/032/06

Full Text

Abstract

Available in

Date

Authors

Publisher

American Mathematical Society

Related search

Verifying Consistency and Validity of Formal Specifications by Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Quantitative Proteomic Characterization of Lung-MSC and Bone Marrow-MSC Using DIA-mass Spectrometry

Scientific Reports
Multidisciplinary
2017English

Considerations for Implementing OGC WMS and WFS Specifications in a Desktop GIS

Journal of Geographic Information System
2012English

A Framework Based on Implementation Relations for Implementing LOTOS Specifications

Computer Networks and ISDN Systems
1992English

Verifying Timed BPMN Processes Using Maude

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Verifying SeVeCom Using Set-Based Abstraction

2011English

Verifying Spatial Queries Using Voronoi Neighbors

2010English

Verifying Quantitative Properties Using Bound Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Executing Specifications Using Synthesis and Constraint Solving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy