METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS [PDF]
, 2022 Dominik Klein, Rasmus K. Rendsvig
openalex +1 more source
Using algebraic models of programs for detecting metamorphic malwares
Труды Института системного программирования РАН, 2007 Polymorphic and metamorphic viruses are the most sophisticated malicious programs that give a lot of trouble to virus scanners. Each time when these viruses infect new executables or replicate themselves they completely modify (obfuscate) their signature
N.N. Kuzjurin +3 more
doaj
Understanding the Evolving Role of Voluntary Medical Male Circumcision as a Public Health Strategy in Eastern and Southern Africa: Opportunities and Challenges. [PDF]
Curr HIV/AIDS Rep, 2022 Bershteyn A +6 more
europepmc +1 more source
A Logical Modeling of Severe Ignorance. [PDF]
J Philos Logic, 2023 Bonzio S +3 more
europepmc +1 more source
An n log n Alogrithm for Deterministic Kripke Structure Minimization [PDF]
, 2012 Karl Meinke, Muddassar Azam Sindhu
openalex +1 more source
A partial evaluation methodology for optimizing rewrite theories incrementally. [PDF]
MethodsX, 2022 Alpuente M +4 more
europepmc +1 more source
Use Case to Kripke Structure and LTL Formulas Generator Tool (UCKSLTL)
, 2020 Qamar Zaman +2 more
openalex +1 more source
Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost. [PDF]
Entropy (Basel), 2022 Ma Z, Li Z, Li W, Gao Y, Li X.
europepmc +1 more source
starMC: an automata based CTL* model checker. [PDF]
PeerJ Comput Sci, 2022 Amparore EG, Donatelli S, Gallà F.
europepmc +1 more source