State Isomorphism in Model Programs with Abstract Data Structures

DOI10.1007/978-3-540-73196-2_8MaRDI QIDQ3614845zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

Recommendations

• Composition of Model Programs
• Model Checking Software
• scientific article; zbMATH DE number 1418460
• Composing model programs for analysis
• Programming Languages and Systems

Cites work

• An Algorithm for Subgraph Isomorphism
• Composition of Model Programs
• Evolving Algebras 1993: Lipari Guide
• scientific article; zbMATH DE number 1670467 (Why is no real title available?)
• scientific article; zbMATH DE number 1670549 (Why is no real title available?)
• scientific article; zbMATH DE number 3823850 (Why is no real title available?)
• Isomorphism of graphs of bounded valence can be tested in polynomial time
• Model Checking Software
• Model-Based Software Testing and Analysis with C#
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(1)

• Composing model programs for analysis

Describes a project that uses

Uses Software

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

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)