Keywords: چک کردن مدل; Railway signalling; ERTMS/ETCS; Hybrid systems; Real-Time Maude; Model-checking;
مقالات ISI چک کردن مدل (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: چک کردن مدل; Monadic second-order logic; Graph algorithms; Infinite automata; Parameterized algorithms; Tree-width; Clique-width; Dynamic programming; Model-checking; Data complexity; Algorithmic meta-theorems
Keywords: چک کردن مدل; Timed automata; Model-checking; Robustness
Keywords: چک کردن مدل; Linear-time temporal logic; Stuttering; Model-checking; Counter system; Flatness; Complexity; System of equations; Small solution; Presburger arithmetic
Keywords: چک کردن مدل; Process algebra; Non-interference; Model-checking; Web services
Keywords: چک کردن مدل; Probabilistic systems; Pushdown automata; Branching-time logics; Model-checking
Equivalence between model-checking flat counter systems and Presburger arithmetic
Keywords: چک کردن مدل; Model-checking; Flat counter systems; Temporal logic; CTL*; Presburger arithmetic;
Model-checking for Resource-Bounded ATL with production and consumption of resources
Keywords: چک کردن مدل; Model-checking; Resources; Coalitional ability; Verification of multi-agent systems;
Security protocol specification and verification with AnBx
Keywords: چک کردن مدل; Protocol specification; Protocol verification; Model-checking; e-payment;
Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
Keywords: چک کردن مدل; SystemJ; SC-SystemJ; Safety-critical; Model-checking; Verification; Compilation
Hippocratic binary instrumentation: First do no harm
Keywords: چک کردن مدل; In-lined reference monitors; Verification; Model-checking; Symbolic interpretation; ActionScript
Formalizing a subset of ERTMS/ETCS specifications for verification purposes
Keywords: چک کردن مدل; ERTMS/ETCS; Railway interoperability; Railway safety; Specification; Formalization; Verification and validation; Model-checking
Efficient CTL model-checking for pushdown systems
Keywords: چک کردن مدل; Pushdown system; Model-checking; CTL; CTL with regular valuations
Model-checking process equivalences
Keywords: چک کردن مدل; Model-checking; Process equivalence; Polyadic μ-calculus; Higher-order μ-calculus
An authentication flaw in browser-based Single Sign-On protocols: Impact and remediations
Keywords: چک کردن مدل; Single Sign-On; Security protocols; Model-checking; OpenID; SAML SSO; Vulnerability; Model-based security testing
Building meaningful timed models of closed-loop DES for verification purposes
Keywords: چک کردن مدل; Formal methods; Plant model; Concurrent evolutions; Urgency; GRAFCET; Model-checking
Towards temporal verification of swarm robotic systems
Keywords: چک کردن مدل; Swarm robotics; Formal verification; Emergent behaviour; Temporal logics; Model-checking
Conceptual framework for business processes compositional verification
Keywords: چک کردن مدل; Business Process Modelling; Model-Checking; Task model; Compositional verification; Formal specification
Use of timed automata and model-checking to explore scenarios on ecosystem models
Keywords: چک کردن مدل; Qualitative modelling; Discrete-event system; Decision-aid; Scenario exploration; Query patterns; Timed automata; Model-checking
On the model-checking of monadic second-order formulas with edge set quantifications
Keywords: چک کردن مدل; Tree-width; Clique-width; Monadic second-order logic; Graph decomposition; Model-checking
Verifying security properties of internet protocol stacks: The split verification approach
Keywords: چک کردن مدل; Protocol stack; Internet protocol; Formal verification; Software security; Model-checking; Theorem-proving; Split verification; Stack operations model; State transformer; Z notation; Computational tree logic
Verification and validation of safety applications based on PLCopen safety function blocks
Keywords: چک کردن مدل; Timed automata; Safety function block; IEC 61508; IEC61131-3; Verification and validation; Model-checking
Temporal constraints of a gene regulatory network: Refining a qualitative simulation
Keywords: چک کردن مدل; Gene regulatory network; Delay parameter synthesis; Model-checking; Hybrid automaton; Escherichia coli;
Model-checking for adventure videogames
Keywords: چک کردن مدل; Adventure games; Domain-specific languages; Verification of games; Model-checking; Temporal properties
Applying model-checking to solve queries on semistructured data
Keywords: چک کردن مدل; Semistructured databases; CTL; Model-checking
Using timed automata and model-checking to simulate material flow in agricultural production systems—Application to animal waste management
Keywords: چک کردن مدل; Timed automata; Model-checking; Hybrid dynamical systems; Imprecision; Production systems modelling; Livestock waste management
LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL
Keywords: چک کردن مدل; Logic controller; formal verification; plant model; model-checking
PERFORMANCE VERIFICATION OF DISCRETE EVENT SYSTEMS USING HYBRID MODEL-CHECKING
Keywords: چک کردن مدل; DES controller; hybrid plant model; model-based verification; model-checking; linear hybrid automaton; HyTech
Structural translation from Time Petri Nets to Timed Automata
Keywords: چک کردن مدل; Time Petri Nets; Timed automata; Model-checking
Structural Translation from Time Petri Nets to Timed Automata
Keywords: چک کردن مدل; Time Petri Nets; Timed Automata; Model-Checking;
Specification and (property) inheritance in CSP-OZ
Keywords: چک کردن مدل; CSP; Object-Z; Failures divergence semantics; Inheritance; Safety and “liveness” properties; Model-checking; FDR;
Probabilistic temporal logics via the modal mu-calculus
Keywords: چک کردن مدل; Probabilistic transition systems; Reactive systems; Probabilistic temporal logic; Model-checking; Probabilistic bisimulation;