Keywords: وارسی مدل; Temporal logic; Model validation; Specification debugging; Model checking; Safety-critical system
مقالات ISI وارسی مدل (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: وارسی مدل; Finite automata; Process algebra; Model checking; Nonblocking;
Keywords: وارسی مدل; Grid computing; Formal verification; Behavioral modeling; Resource discovery; Model checking; NuSMV;
Keywords: وارسی مدل; Concurrency; Parallelism; Formal methods; Specification; Verification; Model checking; Program analysis
Keywords: وارسی مدل; Software product lines; Model checking; Program slicing; Static analysis; Reduction techniques
Keywords: وارسی مدل; Model checking; Security-sensitive business process; Authorization requirements; Access control; Organizational control; Automatic security analysis
Keywords: وارسی مدل; Divergence-sensitive branching bisimulation; Labeled transition system; Modal μ-calculus; Model checking; On-the-fly verification
Keywords: وارسی مدل; Markov chain; Counterexample; Model checking; Binary decision diagram
Keywords: وارسی مدل; Abstractions of counter systems; Temporal logics with Presburger constraints; Model checking; Verification of infinite-state systems; Complexity and decidability issues
Keywords: وارسی مدل; Distributed real-time systems; Multirate systems; Synchronizers; Model checking; Rewriting logic
Keywords: وارسی مدل; Model Checking; Verification; Interpreted systems; Multi-agent systems; Markov chains; Markov decision processes; Probabilistic and epistemic logic;
Keywords: وارسی مدل; Formal verification; Model checking; Combination of logics; Complexity; Multi-agent systems;
Keywords: وارسی مدل; Building information model (BIM); IFC; Image processing; 2D plans; 3D reconstruction; Model checking
Keywords: وارسی مدل; Federated cloud system; Information flow security; Bell–LaPadula rules; Petri net; Diagnosability; Model checking
Keywords: وارسی مدل; Minimal separating DFA; Minimal consistent DFA; Model checking; Minimization of incompletely specified automata
Keywords: وارسی مدل; Model checking; C++; Exception handling; LLVM
Keywords: وارسی مدل; Model checking; Smart mobile monitoring; Data as a service; Visualization as a service; SOA
Keywords: وارسی مدل; Railway interlocking systems; System validation; Model-based testing; Formal methods; Model checking
Keywords: وارسی مدل; Property specification; Business process management; Workflow management; Verification; Model checking; Petri net; Industrial processes; Vehicle commissioning processes
Keywords: وارسی مدل; Probabilistic Timed Automata; Timed Markov Decision Process; IMCA model checker; Probabilistic Timed Rebeca; Model checking; Performance analysis
Keywords: وارسی مدل; Temporal logic; Concurrent recursive programs; Nested words; Mazurkiewicz traces; Satisfiability; Model checking
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories
Keywords: وارسی مدل; Timed Kripke structures; Rewriting logic; Timed CTL; Model checking; Real-Time Maude
Compositional and local livelock analysis for CSP
Keywords: وارسی مدل; Process algebra; Divergence; Model checking; Components; Performance evaluation;
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs
Keywords: وارسی مدل; GPU verification; Formal verification; Model checking; CUDA;
Model checking of reconfigurable FPGA modules specified by Petri nets
Keywords: وارسی مدل; Concurrent controllers; Formal verification; FPGA; Model checking; Requirements;
DiVM: Model checking with LLVM and graph memory
Keywords: وارسی مدل; Model checking; C++; Virtual machine; Verification;
System safety assessment based on STPA and model checking
Keywords: وارسی مدل; Model checking; STPA; Safety assessment; UPPAAL;
IoRT cloud survivability framework for robotic AALs using HARMS
Keywords: وارسی مدل; Model checking; Cloud computing; Multi-agent systems; Heterogeneous agents; HARMS;
Periodic scheduling for MARTE/CCSL: Theory and practice
Keywords: وارسی مدل; Periodic scheduling; MARTE/CCSL; Maude; Rewriting logic; Model checking;
Enabling analysis for Event-B
Keywords: وارسی مدل; Model comprehension; Static analysis; Event-B; Model checking; Constraint-based analysis;
Industrial applications of the PetriDotNet modelling and analysis tool
Keywords: وارسی مدل; Petri nets; Modelling; Simulation; Model checking; Stochastic analysis;
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
Keywords: وارسی مدل; Interval temporal logic; Model checking; Computational complexity;
Practical verification of multi-agent systems against Slk specifications
Keywords: وارسی مدل; Model checking; Strategy Logic; Multi-agent systems; Formal verification;
An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models
Keywords: وارسی مدل; Actor model; Timed Rebeca; Model checking; TCTL; Durational transition graph;
Kernel P systems: From modelling to verification and testing
Keywords: وارسی مدل; Kernel P systems; Modelling; Sorting; Model checking; Testing;
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
Keywords: وارسی مدل; Model checking; Interval temporal logics; Computational complexity;
Model checking the iKP electronic payment protocols
Keywords: وارسی مدل; Electronic commerce; Maude; Model checking; Observational transition systems (OTSs); Rewriting; 00-01; 99-00;
An improved formal failure analysis approach for safety-critical system based on MBSA
Keywords: وارسی مدل; Failure analysis; MBSA; Model checking; Safety-critical system;
FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems
Keywords: وارسی مدل; Dynamic Thermal Management; Formal verification; Many-Core systems; Model checking; nuXmv;
Learning middleware models for verification of distributed control programs
Keywords: وارسی مدل; Distributed control software; Software testing and verification; Automata-based inference; Model checking;
Synchronizing Device Discovery on Loss of Update Messages in the Pervasive Middleware Palcom
Keywords: وارسی مدل; pervasive middleware; device discovery; synchronization; model checking
From OWL-S to Timed Automata Network: Operational Semantic
Keywords: وارسی مدل; Smantic Web Services; OWL-S; Formal Verification; Timed automata; Model Checking; Operational Semantic.
Modelling and Verification of CoAP over Routing Layer Using SPIN Model Checker
Keywords: وارسی مدل; COAP; SPIN; PROMELA; Model checking; Model Verification; IoT
Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis
Keywords: وارسی مدل; Quantitative biology; Circadian clock; Cell cycle; Model coupling; Data fitting; Oscillations; Formal methods; Model checking;
Implementation of an interoperable process to optimise design and construction phases of a residential building: A BIM Pilot Project
Keywords: وارسی مدل; BIM; IFC; Open BIM; Interoperability; Collaboration; Model Checking; Code Checking; 4D BIM; Construction management;
FRAMA: A safety assessment approach based on Functional Resonance Analysis Method
Keywords: وارسی مدل; Safety assessment; Functional Resonance Analysis Method (FRAM); System safety; Socio-technical system; Model checking;
Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL
Keywords: وارسی مدل; Cyber-Physical Systems (CPS); Jitter bound; Evolutionary Algorithm Multi-objective Optimization (EMO); Non-dominated Sorting Genetic Algorithm II (NSGA II); UPPAAL; Model checking
UA2TPG: An untestability analyzer and test pattern generator for SEUs in the configuration memory of SRAM-based FPGAs
Keywords: وارسی مدل; Single Event Upset; SRAM-based FPGA; Untestability analysis; Model checking
Quantified conjunctive queries on partially ordered sets
Keywords: وارسی مدل; Quantified conjunctive queries; Posets; Parameterized complexity; Model checking
EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles
Keywords: وارسی مدل; Architectural styles; Model checking; State space explosion; Graph transformation system; Data mining;