Results 101 to 110 of about 133,374 (215)

A machine-checked constructive metatheory of computation tree logic

, 2015
Diese Dissertation beschreibt eine maschinell verifizierte konstruktive Metatheorie von computation tree logic (CTL) und deren Teillogiken K und K*. Wir betrachten Modelle, Hilbert-Kalküle und History-basierte Gentzen-Kalküle und zeigen, für jede betrachtete Logik und jede Formel s, Entscheidbarkeit und Äquivalenz der folgenden Aussagen: s gilt in ...
openaire   +2 more sources

MODEL CHECKING IS REFINEMENT - From Computation Tree Logic to Failure Trace Testing

, 2010
Stefan D. Bruda, Zhe Zhang
openalex   +1 more source

QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS [PDF]

, 2008
Pedro Baltazar, Rohit Chadha, Paulo Mateus   +2 more
openalex   +1 more source

Modeling and verification of data circulation control based on timed automata

Tongxin xuebao
To address the challenges of verifying the feasibility, correctness, and security of cross-domain data circulation control policies in their generation, transmission, and execution, a formal modeling and verification method was proposed based on timed ...
LI Heng, LI Fenghua, LIANG Wanheng, GUO Yunchuan, ZHANG Lingcui, ZHOU Ziyan   +5 more
doaj  

Cache timing side-channel vulnerability checking with computation tree logic [PDF]

, 2018
Shuwen Deng, Wenjie Xiong, Jakub Szefer
openalex   +1 more source

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics [PDF]

Ryota Kojima, Corina Ĉırstea
openalex   +1 more source

Inconsistency-tolerant Hierarchical Probabilistic Computation Tree Logic and Its Application to Model Checking

, 2021
Norihiro Kamide, Noriko Yamamoto
openalex   +1 more source

Conceptual modeling in full computation-tree logic with sequence modal operator

, 2011
Ken Kaneiwa, Norihiro Kamide
openalex   +1 more source

An Intuitionistic Version of Computation Tree Logic

La mia tesi presenta una versione intuizionista della logica temporale CTL, conosciuta come Intuitionistic Computation Tree Logic (ICTL). Ho concentrato i miei sforzi nello sviluppo e nella comprensione di ICTL, che unisce la logica intuizionista e la Computation Tree Logic (CTL).
Andrea Capone, Davide Catta, Aniello Murano   +2 more
openaire   +1 more source

Efficient spiking convolutional neural networks accelerator with multi-structure compatibility. [PDF]

Front Neurosci
Wu J, Lu L, Wang Y, Li Z, Chen C, Li Q, Chen K.   +6 more
europepmc   +1 more source