Výsledky vyhledávání - Software/Program Verification—Model checking General Terms Algorithms

Categories and Subject Descriptors D.2.2 [Software Engeneering]: Software/Program Verification--model checking General Terms Algorithms, Verification

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.fi.muni.cz/~xpelanek/publications/f14-pelanek.ps.

Témata: State space exploration, Formal verification

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.3846
http://www.fi.muni.cz/~xpelanek/publications/f14-pelanek.ps

F.: Timing analysis enhancement for synchronous program

Autoři: Pascal Raymond Claire Maiza Catherine Parent-vigouroux a další

Přispěvatelé: Pascal Raymond Claire Maiza Catherine Parent-vigouroux a další

Zdroj: http://www-verimag.imag.fr/PUBLIS/uploads/ovcuf5189.pdf.

Témata: Purpose and Application-Based Systems—Real-time and embedded systems, D.2.8 [Software Engineering, Met- rics—Performance measures, D.2.4 [Software Engineer- ing, Software/Program Verification—Model checking General Terms Algorithms, Measurement, Verification Keywords WCET, Model-Based Design, Synchronous Languages, Model Checking, Traceability

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.140
http://www-verimag.imag.fr/PUBLIS/uploads/ovcuf5189.pdf

Practical software model checking via dynamic interface reduction

Autoři: Huayang Guo Ming Wu Lidong Zhou a další

Přispěvatelé: Huayang Guo Ming Wu Lidong Zhou a další

Zdroj: http://www.cs.columbia.edu/~junfeng/papers/demeter-sosp11.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Model checking, Reliability, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Algorithms, Reliability Keywords Software model checking, state space reduction

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.8546
http://www.cs.columbia.edu/~junfeng/papers/demeter-sosp11.pdf

Datalog LITE: A deductive query language with linear time model checking

Autoři: Georg Gottlob Erich Grädel Helmut Veith a další

Přispěvatelé: Georg Gottlob Erich Grädel Helmut Veith a další

Zdroj: http://www-mgi.informatik.rwth-aachen.de/Publications/pub/graedel/GoGrVe-tocl02.ps.

Témata: Categories and Subject Descriptors, H.2.3 [Information Systems, Database Management---Query Languages, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic---Modal Logic, Temporal Logic, D.2.4 [Software, Software/Program Verification---Model Checking General Terms, Algorithms, Theory, Verication Additional Key Words and Phrases, databases, verication, temporal logics, guarded logics, complexity

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.4530
http://www-mgi.informatik.rwth-aachen.de/Publications/pub/graedel/GoGrVe-tocl02.ps

Development of an Accounting Informatization Model Through Cloud Data Integrity Verification: A Systems Approach.

Autoři: Li, Jie Chen, Ran

Zdroj: International Journal of Information Technologies & the Systems Approach; Jan-Dec2025, Vol. 18 Issue 1, p1-17, 17p

Témata: PARALLEL algorithms, ARTIFICIAL intelligence, CLOUD computing, FINANCIAL management, DATA mining

Comparative analysis of text-based plagiarism detection techniques.

Autoři: Sajid, Muhammad Sanaullah, Muhammad Fuzail, Muhammad a další

Zdroj: PLoS ONE; 4/8/2025, Vol. 20 Issue 4, p1-28, 28p

Témata: LANGUAGE models, ARTIFICIAL intelligence, MACHINE learning, PLAGIARISM, COMPARATIVE studies

A Survey of Protocol Fuzzing.

Autoři: Zhang, Xiaohan Zhang, Cen Li, Xinghua a další

Zdroj: ACM Computing Surveys; Feb2025, Vol. 57 Issue 2, p1-36, 36p

Témata: DATA structures, INTEGRATED circuit design, UNIVERSAL Mobile Telecommunications System, LANGUAGE models, COMPUTER security, DEBUGGING, DEEP learning

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 I

Autoři: Armin Biere David Parker

Resource Type: eBook.

Témata: System design--Congresses, System analysis--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Hardware / General, MATHEMATICS / Applied

Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Autoři: Viktor Kuncak Andrey Rybalchenko

Resource Type: eBook.

Témata: Computer science, Software engineering, Compilers (Computer programs), Algorithms, Machine theory, Computer programming

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Formal Verification of Code Conversion: A Comprehensive Survey.

Autoři: Mahmoud, Amira T. Mohammed, Ahmad A. Ayman, Mahitap a další

Zdroj: Technologies (2227-7080); Dec2024, Vol. 12 Issue 12, p244, 28p

Témata: COMPUTER software industry, EVIDENCE gaps, SYSTEMS software, RESEARCH personnel, INFORMATION storage & retrieval systems

Common Threads in Incremental Data Flow Analysis: A Comprehensive Survey.

Autoři: Jana, Anushri Khedker, Uday

Zdroj: ACM Computing Surveys; Apr2026, Vol. 58 Issue 4, p1-36, 36p

Verification modulo theories.

Autoři: Cimatti, Alessandro Griggio, Alberto Mover, Sergio a další

Zdroj: Formal Methods in System Design; Jun2022, Vol. 60 Issue 3, p452-481, 30p

Témata: NONLINEAR theories, ALGORITHMS

Multiple-Valued Logic, Vocabulary Structure, and Linked List for Data Verification in Dialog Communications of Agents.

Autoři: Bykovsky, Alexey

Zdroj: Applied Sciences (2076-3417); Mar2025, Vol. 15 Issue 5, p2427, 50p

Témata: MANY-valued logic, INDUSTRIAL robots, CONFIRMATION (Logic), DATA warehousing, DATA extraction

Optimizing the Integration of Building Materials, Energy Consumption, and Economic Factors in Rural Houses of Cold Regions: A Pathway.

Autoři: Wang, Hui Liu, Bo Wu, Weidong

Zdroj: Buildings (2075-5309); Sep2024, Vol. 14 Issue 9, p2760, 20p

Témata: RURAL housing, ECONOMIC impact, COLD regions, PAYBACK periods, ENERGY consumption

SMT-Based Bounded Model Checking for Multi-threaded Software in Embedded Systems.

Autoři: Cordeiro, Lucas

Zdroj: ICSE: International Conference on Software Engineering; 2010, p373-376, 4p, 2 Diagrams

Témata: EMBEDDED computer systems, COMPUTER software development, ALGORITHMS, COMPUTER programming, ELECTRONIC systems

Mixed symbolic representations for model checking software programs.

Autoři: Zijiang Yang Chao Wang Gupta, A. a další

Zdroj: Proceedings of the Fourth ACM & IEEE International Conference on Formal Methods & Models for Co-Design, 2006. MEMOCODE '06; 2006, p17-26, 10p

Monitoring Metric First-Order Temporal Properties.

Autoři: BASIN, DAVID KLAEDTKE, FELIX MULLER, SAMÜEL a další

Zdroj: Journal of the ACM; Apr2015, Vol. 62 Issue 2, p15-45, 45p

Témata: THEORY, RUN time systems (Computer science), COMPUTER science, TEMPORAL databases, SOFTWARE engineering

Verification, Model Checking, and Abstract Interpretation

Autoři: Cezara Dragoi Michael Emmi Jingbo Wang

Resource Type: eBook.

Témata: Computer science, Computer science—Mathematics, Logic programming, Computers, Special purpose, Software engineering, Microprogramming

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

A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs.

Autoři: PENGFEI GAO HONGYI XIE FU SONG a další

Zdroj: ACM Transactions on Software Engineering & Methodology; May2021, Vol. 30 Issue 3, p1-42, 42p

Témata: ARITHMETIC, SOUND systems

Model-Based Digital Overall Integrated Design Method of AUVs.

Autoři: Wang, Zhong Wen, Zhiwen Yang, Wenfei a další

Zdroj: Journal of Marine Science & Engineering; Oct2023, Vol. 11 Issue 10, p1953, 31p

Témata: AUTONOMOUS underwater vehicles, SYSTEM integration, SYSTEMS design, SOFTWARE development tools, DESIGN software