Search Results - 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

Contributors: The Pennsylvania State University CiteSeerX Archives

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

Subject Terms: State space exploration, Formal verification

File Description: application/postscript

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

Availability: 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

Authors: Pascal Raymond Claire Maiza Catherine Parent-vigouroux et al.

Contributors: Pascal Raymond Claire Maiza Catherine Parent-vigouroux et al.

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

Subject Terms: 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

File Description: application/pdf

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

Availability: 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

Authors: Huayang Guo Ming Wu Lidong Zhou et al.

Contributors: Huayang Guo Ming Wu Lidong Zhou et al.

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

Subject Terms: 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

File Description: application/pdf

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

Availability: 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

Authors: Georg Gottlob Erich Grädel Helmut Veith et al.

Contributors: Georg Gottlob Erich Grädel Helmut Veith et al.

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

Subject Terms: 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

File Description: application/postscript

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

Availability: 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.

Authors: Li, Jie Chen, Ran

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

Subject Terms: PARALLEL algorithms, ARTIFICIAL intelligence, CLOUD computing, FINANCIAL management, DATA mining

Comparative analysis of text-based plagiarism detection techniques.

Authors: Sajid, Muhammad Sanaullah, Muhammad Fuzail, Muhammad et al.

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

Subject Terms: LANGUAGE models, ARTIFICIAL intelligence, MACHINE learning, PLAGIARISM, COMPARATIVE studies

A Survey of Protocol Fuzzing.

Authors: Zhang, Xiaohan Zhang, Cen Li, Xinghua et al.

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

Subject Terms: 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

Authors: Armin Biere David Parker

Resource Type: eBook.

Subjects: 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

Authors: Viktor Kuncak Andrey Rybalchenko

Resource Type: eBook.

Subjects: 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.

Authors: Mahmoud, Amira T. Mohammed, Ahmad A. Ayman, Mahitap et al.

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

Subject Terms: COMPUTER software industry, EVIDENCE gaps, SYSTEMS software, RESEARCH personnel, INFORMATION storage & retrieval systems

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

Authors: Jana, Anushri Khedker, Uday

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

Verification modulo theories.

Authors: Cimatti, Alessandro Griggio, Alberto Mover, Sergio et al.

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

Subject Terms: NONLINEAR theories, ALGORITHMS

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

Authors: Bykovsky, Alexey

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

Subject Terms: 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.

Authors: Wang, Hui Liu, Bo Wu, Weidong

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

Subject Terms: RURAL housing, ECONOMIC impact, COLD regions, PAYBACK periods, ENERGY consumption

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

Authors: Cordeiro, Lucas

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

Subject Terms: EMBEDDED computer systems, COMPUTER software development, ALGORITHMS, COMPUTER programming, ELECTRONIC systems

Mixed symbolic representations for model checking software programs.

Authors: Zijiang Yang Chao Wang Gupta, A. et al.

Source: 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.

Authors: BASIN, DAVID KLAEDTKE, FELIX MULLER, SAMÜEL et al.

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

Subject Terms: THEORY, RUN time systems (Computer science), COMPUTER science, TEMPORAL databases, SOFTWARE engineering

Verification, Model Checking, and Abstract Interpretation

Authors: Cezara Dragoi Michael Emmi Jingbo Wang

Resource Type: eBook.

Subjects: 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.

Authors: PENGFEI GAO HONGYI XIE FU SONG et al.

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

Subject Terms: ARITHMETIC, SOUND systems

Model-Based Digital Overall Integrated Design Method of AUVs.

Authors: Wang, Zhong Wen, Zhiwen Yang, Wenfei et al.

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

Subject Terms: AUTONOMOUS underwater vehicles, SYSTEM integration, SYSTEMS design, SOFTWARE development tools, DESIGN software