Search Results - Software Program Verification—For- mal methods

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

Authors: Sharon Shoham Yakir Vizel

Resource Type: eBook.

Subjects: Computer software--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Denizli ili Serinhisar ilçe merkezinin taşkın yayılımının HEC-RAS yazılımı ve coğrafi bilgi sistemleri ile belirlenmesi.

Alternate Title: Determination of flood inundation of Serinhisar district center of Denizli province with HEC-RAS software and geographic information systems.

Authors: Rustam Oghly, Abdul Latif Güngör, Mahmud

Source: Pamukkale University Journal of Engineering Sciences. 2025, Vol. 31 Issue 6, p1049-1059. 11p.

Subject Terms: *FLOODS, *FLOOD risk, *HYDRAULIC models, *RISK assessment, *GEOGRAPHIC information systems

Geographic Terms: DENIZLI Ili (Turkey)

Molecular study of Francisella spp. from ticks in hedgehogs (Erinaceus europaeus) in urban-suburban areas of West Azerbaijan Province.

Authors: Enferadi, Ahmad Ownagh, Abdolghaffar Tavassoli, Muosa

Source: BMC Veterinary Research. 10/22/2025, Vol. 21 Issue 1, p1-11. 11p.

Subjects: Francisella tularensis, Ticks, Hedgehogs, Zoonoses, Nucleic acid amplification techniques

Geographic Terms: Iran, Azerbaijan (Iran)

Learning Analytics Methods and Tutorials

Authors: Mohammed Saqr Sonsoles López-Pernas

Resource Type: eBook.

Subjects: Data mining, Education--Data processing, R (Computer program language), Educational statistics

Categories: EDUCATION / Computers & Technology, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Data Science / Data Analytics, EDUCATION / General, MATHEMATICS / Probability & Statistics / General

AOn Software Component Co-Installability

Authors: Roberto Di Cosmo The Pennsylvania State University CiteSeerX Archives

Contributors: Roberto Di Cosmo The Pennsylvania State University CiteSeerX Archives

Source: http://www.pps.univ-paris-diderot.fr/~vouillon/publi/coinst.pdf.

Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—For- mal Methods, G.2.2 [Mathematics of Computing, Graph Theory—Hypergraphs General Terms, Algorithms, Theory, Verification Additional Key Words and Phrases, component, dependencies, conflicts, co-installability, package manage- ment, open source ACM Reference Format

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.838
http://www.pps.univ-paris-diderot.fr/~vouillon/publi/coinst.pdf

Effects of KID SMART FOR TEETH Program to Promote the Oral Health Status Among Grades 4-6 of Elementary Schools in the Thai-cambodian Border Provinces of Thailand.

Authors: Yuwapa Wainukaeo Phannathat Tanthanapanyakorn Sasiwimol Thawronsuk et al.

Source: Malaysian Journal of Medicine & Health Sciences; Jan2025, Vol. 21 Issue 1, p214-225, 12p

Beyond just correlation: causal machine learning for the microbiome, from prediction to health policy with econometric tools.

Authors: Khelfaoui, Issam Wang, Wenxin Meskher, Hicham et al.

Source: Frontiers in Microbiology; 2025, p1-20, 20p

Subject Terms: MACHINE learning, HEALTH policy, PREDICTIVE validity, MICROBIOTA, ECONOMETRICS, CAUSAL artificial intelligence, INTERDISCIPLINARY research, EVIDENCE-based policy

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Authors: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

HAMPI: A Solver for Word Equations over Strings, Regular Expressions and Context-Free Grammars

Authors: Adam Kiezun Harvard Medical School Philip J. Guo et al.

Contributors: Adam Kiezun Harvard Medical School Philip J. Guo et al.

Source: http://homes.cs.washington.edu/~mernst/pubs/string-solver-tosem2012.pdf.

Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software Program Verification—For- mal methods, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms, Verification, Algorithms, Reliability, Security Additional Key Words and Phrases, String constraints, word equations, regular languages, context-free languages, concolic testing, program analysis ACM Reference Format

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.8088
http://homes.cs.washington.edu/~mernst/pubs/string-solver-tosem2012.pdf

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Validation of assembler programs for dsps: a static analyzer

Authors: Matthieu Martel The Pennsylvania State University CiteSeerX Archives

Contributors: Matthieu Martel The Pennsylvania State University CiteSeerX Archives

Source: http://perso.univ-perp.fr/mmartel/paste04.pdf.

Subject Terms: D.2.4 [Software Engineering, Program Verification—For- mal methods, Validation, F.3.1 [Logics and meanings of Programs, Specifying and Verifying and Reasoning about Programs—Invariants, Mechanical verification, G.1.0 [Nu- merical Analysis, General—Computer Arithmetic, Error Analysis, Stability and Instability General Terms Algorithms, Design, Experimentation, Reliability, Verifica- tion Keywords Abstract Interpretation, Floating-Point Numbers, Numeri- cal Accuracy

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.614.8545
http://perso.univ-perp.fr/mmartel/paste04.pdf

L.T.: Formal Analysis of SAML 2.0 Web Browser Single Sign-On: Breaking the SAML-based Single Sign-On for Google Apps

Authors: Alessandro Armando Roberto Carbone Luca Compagna et al.

Contributors: Alessandro Armando Roberto Carbone Luca Compagna et al.

Source: http://www.avantssar.eu/pdf/publications/saml-sso.pdf.

Subject Terms: Security and protection, C.2.2 [Computer-Communication Networks, Network Protocols—Protocol verification, C.2.6 [Computer-Communication Networks, Internetwork- ing—Standards, SAML, TLS, D.2.4 [Software Engineer- ing, Software/Program Verification—Formal methods, Model checking, E.4 [Coding and Information Theory, For- mal models of communication, F.3.2 [Logics and Mean

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.543.4073
http://www.avantssar.eu/pdf/publications/saml-sso.pdf

Enhancing the antibacterial ability of Ligilactobacillus salivarius through ARTP mutagenesis breeding: an effective strategy to improve its probiotic properties.

Authors: Zhou, Hetian Du, Yunping Yu, Guolian et al.

Source: Frontiers in Microbiology; 2025, p1-13, 13p

Subject Terms: PROBIOTICS, MUTAGENESIS, ANTIBACTERIAL agents, POULTRY farming, GUT microbiota

Trends in amount of use to upper limb function in patients with subacute stroke: a cross-sectional study using segmental regression analysis.

Authors: Hirayama, Koichiro Matsuda, Marina Teruya, Moe et al.

Source: BMC Neurology; 12/4/2023, Vol. 23 Issue 1, p1-6, 6p

Subject Terms: REGRESSION analysis, STROKE patients, CROSS-sectional method, STROKE, FORELIMB

2025 Heart Valve Society Annual Meeting Abstracts.

Source: Journal of the Heart Valve Society; 2025 Suppl 2, Vol. 2, pS1-S98, 98p

ISEV2025 Abstract Book.

Source: Journal of Extracellular Vesicles; Oct2025 Supplement 1, Vol. 14, p1-555, 555p

Influence of Saliva and Blood Contamination on Microtensile Bond Strength between Fiber Posts and Composite Core Materials.

Authors: Tan, Queenie Guey Zhen Soo, Eason Abdullah, Dalia

Source: Malaysian Journal of Medicine & Health Sciences; 2025 Supplement, Vol. 21, p124-129, 6p

Water Inflow Forecasting Based on Visual MODFLOW and GS-SARIMA-LSTM Methods.

Authors: Yang, Zhao Dong, Donglin Chen, Yuqi et al.

Source: Water (20734441); Oct2024, Vol. 16 Issue 19, p2749, 21p

Subject Terms: BOX-Jenkins forecasting, MINE water, TIME series analysis, COAL mining safety, HAZARD mitigation

Equity, Diversity, and Inclusion in Software Engineering

Authors: Daniela Damian Kelly Blincoe Denae Ford et al.

Resource Type: eBook.

Subjects: Diversity in the workplace, Computer software industry--Employees, Software engineering

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Human Resources & Personnel Management, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Management Information Systems, PHILOSOPHY / Ethics & Moral Philosophy

APA 2025 Abstracts.

Source: Pancreas; Nov2025, Vol. 54 Issue 10, pe923-e986, 64p