Keywords: محدود کردن مدل چک کردن; Cloud robotics; Energy consumption; Green software modeling method; State transition matrix; Bounded model checking;
مقالات ISI محدود کردن مدل چک کردن (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: محدود کردن مدل چک کردن; Railway interlocking systems; Sequential release; Formal verification; Bounded model checking; k-Induction;
Keywords: محدود کردن مدل چک کردن; Voting schemes; Verification; Bounded model checking; Single transferable vote; SMT solvers
Linear templates of ACTL formulas with an application to SAT-based verification
Keywords: محدود کردن مدل چک کردن; Formal methods; Bounded semantics; Bounded model checking; Linear counterexamples; SAT-based Verification;
Verifying cooperative software: A SMT-based bounded model checking approach for deterministic scheduler
Keywords: محدود کردن مدل چک کردن; Software formal method; Bounded model checking; Deterministic scheduler; OSEK/VDX;
A method to localize faults in concurrent C programs
Keywords: محدود کردن مدل چک کردن; Concurrent software; Bounded model checking; Fault localization; Non-determinism; Sequentialization;
Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
Keywords: محدود کردن مدل چک کردن; Case study; Process algebra; SML; Bounded model checking; Model transformations
SAT-solving in CSP trace refinement
Keywords: محدود کردن مدل چک کردن; CSP; FDR; Concurrency; Process algebra; SAT-solving; Bounded model checking; kk-induction; Safety properties
Exploiting step semantics for efficient bounded model checking of asynchronous systems
Keywords: محدود کردن مدل چک کردن; Bounded model checking; Step encodings; Process semantics; Asynchronous systems; SMT
On software verification for sensor nodes
Keywords: محدود کردن مدل چک کردن; Sensor; TelosB; MSP430; TinyOS; Verification; Bounded model checking; CBMC
An Incremental Algorithm to Check Satisfiability for Bounded Model Checking
Keywords: محدود کردن مدل چک کردن; bounded model checking; propositional satisfiability; conflict-learned clauses; incremental algorithms;
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols
Keywords: محدود کردن مدل چک کردن; Security Protocols; Bounded Model Checking; SAT; Rewriting;
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems
Keywords: محدود کردن مدل چک کردن; verification; bounded model checking; hybrid systems; infinite-state systems; decision procedures; satisfiability;
Bounded Model Checking with SNF, Alternating Automata, and Büchi Automata
Keywords: محدود کردن مدل چک کردن; Bounded model checking; SNF; LTL; Büchi automata; Alternating automata;
Automatic Verification of Safety Rules for a Subway Control Software
Keywords: محدود کردن مدل چک کردن; Bounded model checking; safety requirements model checking; subway control software model checking;
Bounded Model Checking for Deontic Interpreted Systems
Keywords: محدود کردن مدل چک کردن; Bounded model checking; epistemic logic;