State Isomorphism in Model Programs with Abstract Data Structures

DOI10.1007/978-3-540-73196-2_8zbMATH Open1215.68073OpenAlexW1596735914MaRDI QIDQ3614845FDOQ3614845

Authors:

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73196-2_8

Recommendations

• Composition of Model Programs
• Model Checking Software
• Publication:4942017
• Composing model programs for analysis
• Programming Languages and Systems

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Title not available (Why is that?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Model-Based Software Testing and Analysis with C#
• An Algorithm for Subgraph Isomorphism
• Evolving Algebras 1993: Lipari Guide
• Title not available (Why is that?)
• Isomorphism of graphs of bounded valence can be tested in polynomial time
• Title not available (Why is that?)
• Composition of Model Programs
• Model Checking Software

Cited In (1)

• Composing model programs for analysis

Uses Software

• Symstra
• Korat
• SymmSpin
• dSPIN
• NModel
• SpecExplorer
• Murphi

This page was built for publication: State Isomorphism in Model Programs with Abstract Data Structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3614845)