Input-Output Model Programs

DOI10.1007/978-3-642-03466-4_21MaRDI QIDQ3393419zbMATH OpenOpenAlexFDO

Authors Margus Veanes, Nikolaj Bjørner

Publication date 20 August 2009

Published in Theoretical Aspects of Computing - ICTAC 2009 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03466-4_21

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Symbolic bounded conformance checking of model programs
• Game models for open systems
• Publication:4206380
• Unifying input output conformance
• scientific article; zbMATH DE number 65755

Cited in

(3)

• Efficient input-output model representations
• Symbolic bounded conformance checking of model programs
• Composing model programs for analysis

This page was built for publication: Input-Output Model Programs

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