Suchergebnisse - 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

Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: State space exploration, Formal verification

Dateibeschreibung: application/postscript

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

Verfügbarkeit: 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

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

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

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

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

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

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

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

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

Schlagwörter: 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

Dateibeschreibung: application/postscript

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

Verfügbarkeit: 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

Comparative analysis of text-based plagiarism detection techniques.

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

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

Schlagwörter: LANGUAGE models, ARTIFICIAL intelligence, MACHINE learning, PLAGIARISM, COMPARATIVE studies

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

Autoren: Li, Jie Chen, Ran

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

Schlagwörter: PARALLEL algorithms, ARTIFICIAL intelligence, CLOUD computing, FINANCIAL management, DATA mining

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

Autoren: Armin Biere David Parker

Resource Type: eBook.

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

Autoren: Viktor Kuncak Andrey Rybalchenko

Resource Type: eBook.

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

A Survey of Protocol Fuzzing.

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

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

Schlagwörter: DATA structures, INTEGRATED circuit design, UNIVERSAL Mobile Telecommunications System, LANGUAGE models, COMPUTER security, DEBUGGING, DEEP learning

Formal Verification of Code Conversion: A Comprehensive Survey.

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

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

Schlagwörter: COMPUTER software industry, EVIDENCE gaps, SYSTEMS software, RESEARCH personnel, INFORMATION storage & retrieval systems

Verification modulo theories.

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

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

Schlagwörter: NONLINEAR theories, ALGORITHMS

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

Autoren: Jana, Anushri Khedker, Uday

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

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

Autoren: Bykovsky, Alexey

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

Schlagwörter: MANY-valued logic, INDUSTRIAL robots, CONFIRMATION (Logic), DATA warehousing, DATA extraction

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

Autoren: Cordeiro, Lucas

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

Schlagwörter: EMBEDDED computer systems, COMPUTER software development, ALGORITHMS, COMPUTER programming, ELECTRONIC systems

Verification, Model Checking, and Abstract Interpretation

Autoren: Cezara Dragoi Michael Emmi Jingbo Wang

Resource Type: eBook.

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

Mixed symbolic representations for model checking software programs.

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

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

Model-Based Digital Overall Integrated Design Method of AUVs.

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

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

Schlagwörter: AUTONOMOUS underwater vehicles, SYSTEM integration, SYSTEMS design, SOFTWARE development tools, DESIGN software

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

Autoren: Wang, Hui Liu, Bo Wu, Weidong

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

Schlagwörter: RURAL housing, ECONOMIC impact, COLD regions, PAYBACK periods, ENERGY consumption

Monitoring Metric First-Order Temporal Properties.

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

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

Schlagwörter: THEORY, RUN time systems (Computer science), COMPUTER science, TEMPORAL databases, SOFTWARE engineering

Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

Autoren: Dirk Beyer Damien Zufferey

Resource Type: eBook.

Schlagworte: Computer science, Computer engineering, Computer networks, Logic programming, Artificial intelligence—Data processing, Software engineering

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

Towards an incremental automata-based approach for software product-line model checking

Autoren: Cordy, Maxime Schobbens, Pierre Heymans, Patrick et al.

Quelle: Cordy, M, Schobbens, P, Heymans, P & Legay, A 2012, Towards an incremental automata-based approach for software product-line model checking. in ACM International Conference Proceeding Series. vol. 2, pp. 74-81. https://doi.org/10.1145/2364412.2364425

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Dateibeschreibung: application/pdf

Zugangs-URL: https://researchportal.unamur.be/en/publications/fcf37ba5-5259-4c9e-a483-06775d8b3f4a
https://doi.org/10.1145/2364412.2364425
https://pure.unamur.be/ws/files/3435216/fmsple.pdf
https://researchportal.unamur.be/fr/publications/towards-an-incremental-automata-based-approach-for-software-produ
https://dl.acm.org/doi/10.1145/2364412.2364425
https://dblp.uni-trier.de/db/conf/splc/splc2012-2.html#CordySHL12a
https://dialnet.unirioja.es/servlet/articulo?codigo=4839850
https://pure.unamur.be/ws/files/3435216/fmsple.pdf