ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s10703-016-0241-z / rank
Normal rank
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10703-016-0241-z / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2127240436 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q59477568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Differential dynamic logic for hybrid systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: SMT-based scenario verification for hybrid systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partial cylindrical algebraic decomposition for quantifier elimination / rank
 
Normal rank
Property / cites work
 
Property / cites work: Real quantifier elimination is doubly exponential / rank
 
Normal rank
Property / cites work
 
Property / cites work: KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: dReal: An SMT Solver for Nonlinear Theories over the Reals / rank
 
Normal rank
Property / cites work
 
Property / cites work: A brief account of runtime verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4953400 / rank
 
Normal rank
Property / cites work
 
Property / cites work: ModelPlex: verified runtime validation of verified cyber-physical system models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Differential-algebraic Dynamic Logic for Differential-algebraic Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical Analysis of Hybrid Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Complete Proof Theory of Hybrid Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics of Dynamical Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Uniform Substitution Calculus for Differential Dynamic Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Image Computation Problem in Hybrid Systems Model Checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Factorization of a hierarchy of the lattice soliton equations from a binary Bargmann symmetry constraint / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S10703-016-0241-Z / rank
 
Normal rank

Latest revision as of 00:41, 10 December 2024

scientific article
Language Label Description Also known as
English
ModelPlex: verified runtime validation of verified cyber-physical system models
scientific article

    Statements

    ModelPlex: verified runtime validation of verified cyber-physical system models (English)
    0 references
    0 references
    0 references
    12 February 2018
    0 references
    runtime verification
    0 references
    static verification
    0 references
    cyber-physical systems
    0 references
    hybrid systems
    0 references
    differential dynamic logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references