Keywords: استدلال ترکیبی; Distributed systems; Compositional reasoning; Hoare Logic; Concurrent objects; Operational semantics; Communication history
مقالات ISI استدلال ترکیبی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: استدلال ترکیبی; Compositional reasoning; Control-flow behaviour; Control-flow structure; Modal μ-calculus; Program verification; Safety properties;
Keywords: استدلال ترکیبی; Specification; Abstraction; Compositional reasoning; Interface automata; Probabilistic Automata;
SOS specifications for uniformly continuous operators
Keywords: استدلال ترکیبی; Probabilistic process algebras; Structural operational semantics; Uniform continuity; SOS specification formats; Compositional reasoning;
Multi-parameterised compositional verification of safety properties
Keywords: استدلال ترکیبی; Parameterised verification; Refinement checking; Concurrency theory; Compositional reasoning; Decidability
Compositional verification of a communication protocol for a remotely operated aircraft
Keywords: استدلال ترکیبی; Protocol verification; Interactive theorem proving; Compositional reasoning
New results for Constraint Markov Chains
Keywords: استدلال ترکیبی; Specification; Abstraction; Markov Chains; Compositional reasoning; Reasoning about fault tolerance;
Compositional analysis for linear systems
Keywords: استدلال ترکیبی; Compositional reasoning; Assume-guarantee reasoning; Linear systems; Simulation relations
Compositional and Assume-Guarantee Reasoning for Switching Linear Systems
Keywords: استدلال ترکیبی; Switching Linear Systems; Simulation Relations; Compositional Reasoning; Assume-Guarantee Reasoning
Component-based hardware/software co-verification for building trustworthy embedded systems
Keywords: استدلال ترکیبی; Component-based embedded systems; Component model; Components; Model checking; Compositional reasoning; Hardware/software co-verification; Verification reuse
Security of multi-agent systems: A case study on comparison shopping
Keywords: استدلال ترکیبی; Formal verification; Information security; Information flow control; Multi-agent systems; Compositional reasoning;