Composition of Model Programs

DOI10.1007/978-3-540-73196-2_9MaRDI QIDQ3614846zbMATH 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_9

Mathematics Subject Classification ID

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

Recommendations

• Composing model programs for analysis
• Communicating Sequential Processes. The First 25 Years
• Software testing using model programs
• scientific article; zbMATH DE number 1755531
• Symbolic bounded conformance checking of model programs

Cites work

• Abstract State Machines
• Evolving Algebras 1993: Lipari Guide
• FM 2005: Formal Methods
• Formal verification of parallel programs
• FSM Test Translation Through Context
• Game models for open systems
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 1746452 (Why is no real title available?)
• Model-Based Software Testing and Analysis with C#

Cited in

(4)

• Composition of model interface. A theorem of model composition
• Software testing using model programs
• State Isomorphism in Model Programs with Abstract Data Structures
• Composing model programs for analysis

Describes a project that uses

Uses Software

• TorX
• NModel
• SpecExplorer

This page was built for publication: Composition of Model Programs

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