Suchergebnisse - ((automatic OR automation) OR automatische) programming—program verification general terms*

Automatic Verilog Code Generation through Grammatical Evolution

Autoren: Ulya R. Karpuzcu The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Ulya R. Karpuzcu The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005wks/papers/0394.pdf.

Schlagwörter: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis, program verification. General Terms Design, Verification. Keywords Grammatical Evolution, Automatic Code Generation, Verilog

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.604.3300; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005wks/papers/0394.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.604.3300
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005wks/papers/0394.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

Autoren: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

DSD-Crasher: A hybrid analysis tool for bug finding

Autoren: Christoph Csallner Tao Xie The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Christoph Csallner Tao Xie The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.uoregon.edu/~yannis/dsd-tosem.pdf.

Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—formal methods, reliability, D.2.5 [Software Engineering, Testing and Debugging— testing tools, I.2.2 [Artificial Intelligence, Automatic Programming—program verification General Terms, Verification Additional Key Words and Phrases, Automatic testing, bug finding, dynamic analysis, dynamic invariant detection

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.4597
http://www.cs.uoregon.edu/~yannis/dsd-tosem.pdf

ABSTRACTS from other ACM Publications.

Quelle: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

Schlagwörter: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

Kleene Algebra with Tests

Autoren: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.cornell.edu/kozen/papers/kat.ps.

Schlagwörter: Expressions and Their Representations---simplification of expressions, I.1.3 [Algebraic Manipulation, Languages and Systems---special-purpose algebraic systems, I.2.2 [Algebraic Manipulation, Automatic Programming---program modification, program synthesis, program transformation, program verification General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Dynamic logic, Kleene algebra, specification

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.70; http://www.cs.cornell.edu/kozen/papers/kat.ps

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.70
http://www.cs.cornell.edu/kozen/papers/kat.ps

Evaluating Energy Efficiency and Optimal Positioning of Industrial Robots in Sustainable Manufacturing.

Autoren: Ruzarovsky, Roman Horak, Tibor Bocak, Robert

Quelle: Journal of Manufacturing & Materials Processing; Dec2024, Vol. 8 Issue 6, p276, 36p

Schlagwörter: INDUSTRIAL energy consumption, SUSTAINABILITY, CONSUMPTION (Economics), ENERGY consumption, ENERGY industries

The quantum monadology.

Autoren: Sati, Hisham Schreiber, Urs

Quelle: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

Autoren: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. et al.

Quelle: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p

Schlagwörter: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Autoren: Shuvendu K. Lahiri Chao Wang

Resource Type: eBook.

Schlagworte: Computer software--Verification--Congresses

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

DEPS: a model- and property-based language for system synthesis problems.

Autoren: Yvars, Pierre-Alain Zimmer, Laurent

Quelle: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p

Schlagwörter: MODELING languages (Computer science), SYSTEMS design, CONSTRAINT programming, PROBLEM solving, STRUCTURAL models

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

Autoren: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei et al.

Quelle: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p

Schlagwörter: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

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

Autoren: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

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

Analysis of Vehicle-Induced Vibration Response and Impact Coefficient for Composite Truss Bridge with Partially Concrete-Filled Rectangular Steel Tube Members.

Autoren: Liu, Shizhong Zhang, Ruiyin Ge, Jialin et al.

Quelle: Buildings (2075-5309); Sep2025, Vol. 15 Issue 18, p3330, 21p

Schlagwörter: TRUSS bridges, CONCRETE-filled tubes, ANSYS (Computer system), BRIDGE design & construction, DYNAMIC stiffness, FATIGUE limit, AUTOMOBILE vibration

Hammer for Coq: Automation for Dependent Type Theory.

Autoren: Czajka, Łukasz Kaliszyk, Cezary

Quelle: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p

Convex risk-bounded continuous-time trajectory planning and tube design in uncertain nonconvex environments.

Autoren: Jasour, Ashkan Han, Weiqiao Williams, Brian C.

Quelle: International Journal of Robotics Research; Sep2023, Vol. 42 Issue 10, p705-728, 24p

Schlagwörter: SUM of squares, TIME perspective, TUBES, SCHEDULING, PARAMETERIZATION, POINT set theory

Recent Technological Advancements in BIM and LCA Integration for Sustainable Construction: A Review.

Autoren: Chen, Zhonghao Chen, Lin Zhou, Xingyang et al.

Quelle: Sustainability (2071-1050); Feb2024, Vol. 16 Issue 3, p1340, 30p

The MetaCoq Project.

Autoren: Sozeau, Matthieu Anand, Abhishek Boulier, Simon et al.

Quelle: Journal of Automated Reasoning; Jun2020, Vol. 64 Issue 5, p947-999, 53p

Schlagwörter: COMPUTER programming, SEMANTICS, COMPILERS (Computer programs), PROOF theory

Geografische Kategorien: PARIS (France)

FEDERAL REGISTER.

Quelle: Federal Register (National Archives & Records Service, Office of the Federal Register); 2/25/2025, Vol. 90 Issue 36, p1-115, 115p

Schlagwörter: HOUSE construction, HUMAN services, ENGINEERING standards, INTERNET forums, UNFAIR competition

Performance Verification for Behavior-Based Robot Missions.

Autoren: Lyons, Damian M. Arkin, Ronald C. Jiang, Shu et al.

Quelle: IEEE Transactions on Robotics; Jun2015, Vol. 31 Issue 3, p619-636, 18p

Schlagwörter: ROBOT programming, AUTOMATIC control systems, CONFIRMATION (Logic), PROGRAMMABLE controllers, ROBOTICS

Substructural logic and partial correctness

Autoren: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.cornell.edu/~kozen/papers/slapc.pdf.

Schlagwörter: Manipulation, Languages and Systems—special-purpose algebraic systems, I.2.2 [Algebraic Manipulation, Automatic Programming—program modification, program synthesis, program transformation, program verification General Terms, Theory, Verification Additional Key Words and Phrases, Dynamic logic, Hoare logic, Kleene algebra, Kleene algebra with tests

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3390; http://www.cs.cornell.edu/~kozen/papers/slapc.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3390
http://www.cs.cornell.edu/~kozen/papers/slapc.pdf