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)

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

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

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)

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

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

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

ISEV2025 Abstract Book.

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

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

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

2025 Heart Valve Society Annual Meeting Abstracts.

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

APA 2025 Abstracts.

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

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

Learned interpreters : structural and learned systematicity in neural networks for program execution

Authors: Bieber, David Larochelle, Hugo Tarlow, Daniel

Contributors: Bieber, David Larochelle, Hugo Tarlow, Daniel

Subject Terms: Apprentissage profond, Software engineering, Machine learning, Program analysis, Analyse de programmes, Génie logiciel, Apprentissage automatique, Neural networks

File Description: application/pdf

Access URL: https://hdl.handle.net/1866/31928

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

Authors: Armin Biere David Parker

Resource Type: eBook.

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

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, MATHEMATICS / Applied