Composing model programs for analysis

DOI10.1016/J.JLAP.2010.07.004MaRDI QIDQ710670zbMATH OpenOpenAlexFDO

Authors Margus Veanes, Jonathan Jacky

Publication date 22 October 2010

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2010.07.004

zbMATH Keywords

model-based testingmodel validationlabeled transition systemmodel analysismodel programscenario controlstate machine

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Composition of Model Programs
• scientific article; zbMATH DE number 1206050
• Efficient program synthesis in computational models
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 4052988

Cites work

• scientific article; zbMATH DE number 1746452 (Why is no real title available?)
• scientific article; zbMATH DE number 2090318 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• Composition of Model Programs
• Defining conditional independence using collapses
• Dynamic partial-order reduction for model checking software
• Evolving Algebras 1993: Lipari Guide
• FM 2005: Formal Methods
• Formal techniques for networked and distributed systems -- FORTE 2008. 28th IFIP WG 6.1 international conference Tokyo, Japan, June 10--13, 2008. Proceedings
• Formal verification of parallel programs
• Game models for open systems
• Input-Output Model Programs
• Logics of specification languages
• Model-Based Software Testing and Analysis with C#
• On Bounded Reachability of Programs with Set Comprehensions
• Partial updates
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Refinement, decomposition, and instantiation of discrete models: application to Event-B
• State Isomorphism in Model Programs with Abstract Data Structures
• Symbolic bounded conformance checking of model programs
• Testing of software and communication systems. 21st IFIP WG 6.1 international conference, TESTCOM 2009 and 9th international workshop, FATES 2009, Eindhoven, The Netherlands, November 2--4, 2009. Proceedings
• The B-Book
• The Composition of Event-B Models

Cited in

(4)

• Promoting models
• Composition of Model Programs
• State Isomorphism in Model Programs with Abstract Data Structures
• scientific article; zbMATH DE number 2080292 (Why is no real title available?)

Describes a project that uses

Uses Software

• SpecExplorer
• NModel
• z3

This page was built for publication: Composing model programs for analysis

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