Results 111 to 120 of about 25,570,341 (217)

Effective stateless model checking for C/C++ concurrency

Proc. ACM Program. Lang., 2017
Michalis Kokologiannakis, O. Lahav, Konstantinos Sagonas, Viktor Vafeiadis   +3 more
semanticscholar   +1 more source

HSAS-MD Analyzer: A Hybrid Security Analysis System Using Model-Checking Technique and Deep Learning for Malware Detection in IoT Apps. [PDF]

Sensors (Basel), 2022
Hamza AA, Abdel Halim IT, Sobh MA, Bahaa-Eldin AM.   +3 more
europepmc   +1 more source

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Model learning and model checking of SSH implementations

SPIN, 2017
P. Fiterău-Broştean, T. Lenaerts, E. Poll, Joeri de Ruiter, F. Vaandrager, P. Verleg   +5 more
semanticscholar   +1 more source

Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking. [PDF]

Sci Rep
Lu C, Li C, Liu C, Wu X, Huang Y.
europepmc   +1 more source

PRG4CNN: A Probabilistic Model Checking-Driven Robustness Guarantee Framework for CNNs. [PDF]

Entropy (Basel)
Liu Y, Fang A.
europepmc   +1 more source

Symbolic model checking quantum circuits in Maude. [PDF]

PeerJ Comput Sci
Minh Do C, Ogata K.
europepmc   +1 more source

Formal modeling of a causal consistent distributed system and verification of its history <i>via</i> model checking using colored Petri net. [PDF]

PeerJ Comput Sci
Alsaegg KAM, Pashazadeh S, Zolfy Lighvan M.   +2 more
europepmc   +1 more source

An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis. [PDF]

Sci Rep
Varriano G, Nardone V, Brunese MC, Bruno M, Santone A, Brunese L, Zappia M.   +6 more
europepmc   +1 more source