IPL: an integration property language for multi-model cyber-physical systems
From MaRDI portal
Publication:2024345
DOI10.1007/978-3-319-95582-7_10zbMATH Open1460.68065OpenAlexW2808808949MaRDI QIDQ2024345FDOQ2024345
Authors: Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley Schmerl, David Garlan 
Publication date: 4 May 2021
Full work available at URL: https://doi.org/10.1007/978-3-319-95582-7_10
Recommendations
- Heterogeneous verification of cyber-physical systems using behavior relations
- scientific article; zbMATH DE number 6719346
- A co-modelling approach for cyber-physical systems with SysML/MARTE/pCCSL
- ModelPlex: verified runtime validation of verified cyber-physical system models
- Constructing Property-Oriented Models for Verification
Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)
Cites Work
- Title not available (Why is that?)
- Simplification by Cooperating Decision Procedures
- Title not available (Why is that?)
- Title not available (Why is that?)
- Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\)
- Modeling in Event B. System and software engineering.
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Communicating sequential processes
- Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
- The classical decision problem.
- Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
- Title not available (Why is that?)
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
- Stochastic model checking
- Combined model checking for temporal, probabilistic, and real-time logics
- Quantified CTL: expressiveness and model checking (extended abstract)
- IPL: an integration property language for multi-model cyber-physical systems
- Supporting Heterogeneity in Cyber-Physical Systems Architectures
- Heterogeneous verification of cyber-physical systems using behavior relations
Cited In (1)
This page was built for publication: IPL: an integration property language for multi-model cyber-physical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2024345)
