Výsledky vyhledávání - "Theory of computation Logic Logic and verification"

Risk of Stochastic Systems for Temporal Logic Specifications.

Autoři: LINDEMANN, LARS LEJUN JIANG MATNI, NIKOLAI a další

Zdroj: ACM Transactions on Embedded Computing Systems; May2023, Vol. 22 Issue 3, p1-31, 31p

Témata: STOCHASTIC systems, SYSTEM failures, LOGIC, STOCHASTIC processes, ARTIFICIAL intelligence, DISCRETE time filters

Functional verification of cyber-physical systems containing machine-learnt components.

Autoři: Moradkhani, Farzaneh Fränzle, Martin

Zdroj: IT: Information Technology; 2021, Vol. 63 Issue 5/6, p277-287, 11p

Témata: CYBER physical systems, MULTILAYER perceptrons, FEEDFORWARD neural networks, CHARTS, diagrams, etc.

Heap Abstractions for Static Analysis.

Autoři: KANVAR, VINI KHEDKER, UDAY P.

Zdroj: ACM Computing Surveys; Nov2016, Vol. 49 Issue 2, p29-29:47, 47p, 20 Diagrams

Témata: ABSTRACT data types (Computer science), STATICS, DATA, ALGORITHMS, SHAPE analysis (Computational geometry)

SYNTHESIS OF STRATEGIES USING THE HOARE LOGIC OF ANGELIC AND DEMONIC NONDETERMINISM.

Autoři: MAMOURAS, KONSTANTINOS

Zdroj: Logical Methods in Computer Science (LMCS); 2016, Vol. 12 Issue 3, p1-41, 41p

Témata: HOARE logic, COMPLETENESS theorem, COMPUTATIONAL complexity, GRAPH theory, GAME theory

FORMAL DESIGN OF ASYNCHRONOUS FAULT DETECTION AND IDENTIFICATION COMPONENTS USING TEMPORAL EPISTEMIC LOGIC.

Autoři: BOZZANO, MARCO CIMATTI, ALESSANDRO GARIO, MARCO a další

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 4, p1-33, 33p

Témata: DEBUGGING, EPISTEMIC logic, DATA analysis, DISCRETE systems, AUTOMATION, PROGRAMMING languages

FEATHERWEIGHT VERIFAST.

Autoři: VOGELS, FRÉDÉRIC JACOBS, BART PIESSENS, FRANK

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 3, p1-57, 57p

Témata: COMPUTER software, ALGORITHMS, MATHEMATICAL analysis, MATHEMATICAL functions, MATHEMATICAL models

UNIFICATION MODULO A 2-SORTED EQUATIONAL THEORY FOR CIPHER-DECIPHER BLOCK CHAINING.

Autoři: ANANTHARAMAN, SIVA BOUCHARD, CHRISTOPHER NARENDRAN, PALIATH a další

Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 1, p1-26, 26p

Témata: VARIETIES (Universal algebra), CIPHERS, DATA encryption, STOCHASTIC convergence, PROBLEM solving, MATHEMATICAL statistics

Automated Theorem Proving For Special Functions: The Next Phase

Autoři: Lawrence C. Paulson The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Lawrence C. Paulson The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cl.cam.ac.uk/~lp15/papers/Arith/SNC2014-invited.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.261

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.261
http://www.cl.cam.ac.uk/~lp15/papers/Arith/SNC2014-invited.pdf