Suchergebnisse - Automatic Programming- Program verification*
-
1
Autoren: Dmitry A. Kondratyev
Quelle: Моделирование и анализ информационных систем, Vol 28, Iss 4, Pp 372-393 (2021)
Schlagwörter: deductive verification, c-lightver, cloud parallel programming system, symbolic method of verification of definite iterations, loop invariant, acl2, Information technology, T58.5-58.64
Dateibeschreibung: electronic resource
-
2
Autoren: et al.
Quelle: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-33, 33p
Schlagwörter: LANGUAGE models, ARTIFICIAL intelligence, PROGRAMMING languages, TRUST, POPULARITY
-
3
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation. :105-114
Schlagwörter: Test generations, C programs, Deductive verification, Static and dynamic analysis, Verification, Codes (symbols), Computational linguistics, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 01 natural sciences, Software testing, Specification languages, Frama-C, Specifications, C (programming language), Automatic programming, 0202 electrical engineering, electronic engineering, information engineering, Translation (languages), Formal specification
-
4
Autoren:
Quelle: SIAM Journal on Computing. 10:519-535
Schlagwörter: Specification and verification (program logics, model checking, etc.), register optimization, 0202 electrical engineering, electronic engineering, information engineering, Formal languages and automata, finite automata, 02 engineering and technology, Models of computation (Turing machines, etc.), data processing
Dateibeschreibung: application/xml
-
5
Autoren:
Quelle: Моделирование и анализ информационных систем, Vol 32, Iss 2, Pp 150-171 (2025)
Schlagwörter: verification, parallel program, petri nets, synchronization primitives, Information technology, T58.5-58.64
Dateibeschreibung: electronic resource
-
6
Autoren:
Resource Type: eBook.
Schlagworte: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation
PDF-Volltext ePub Volltext -
7
Autoren: et al.
Quelle: Journal of Artificial Intelligence Research. 2025, Vol. 82, p901-936. 36p.
-
8
Autoren: et al.
Quelle: ICSE: International Conference on Software Engineering; 2022, p1768-1780, 13p
Schlagwörter: AUTOMATIC programming (Computer science), QUALITY control, LOCALIZATION theory, SOFTWARE engineering, COMPUTER software
-
9
Autoren:
Quelle: Lecture Notes in Computer Science ISBN: 9783540326540
Lecture notes in computer science 3901 (2006): 23–43.
info:cnr-pdr/source/autori:Pettorossi, A.; Proietti, M.; Senni, V./titolo:Transformational Verification of Parameterized Protocols Using Array Formulas./doi:/rivista:Lecture notes in computer science/anno:2006/pagina_da:23/pagina_a:43/intervallo_pagine:23–43/volume:3901
Proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2005), London, UK, 2005
info:cnr-pdr/source/autori:Pettorossi, A.; Proietti, M.; Senni, V./congresso_nome:Proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2005)/congresso_luogo:London, UK/congresso_data:2005/anno:2005/pagina_da:/pagina_a:/intervallo_pagineSchlagwörter: Automatic programming, Computational methods, Computer science, Logic programming, Network protocols, Array formulas, Parameterized protocols, Program transformation, Computer programming languages, QA75 Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
Dateibeschreibung: application/pdf
Zugangs-URL: http://www.iasi.cnr.it/%7Eproietti/papers/PetProSen_LOPSTR05.pdf
https://publications.cnr.it/doc/7320
http://www.cnr.it/prodotto/i/7320
http://www.cnr.it/prodotto/i/75296
https://publications.cnr.it/doc/75296
https://hdl.handle.net/20.500.14243/70333
https://hdl.handle.net/20.500.14243/170215
https://hdl.handle.net/2108/40192
https://doi.org/10.1007/11680093_3 -
10
Autoren:
Quelle: Journal of Computer Science & Control Systems. 2010, Vol. 3 Issue 1, p257-262. 6p. 1 Color Photograph, 2 Diagrams.
-
11
Autoren:
Quelle: Pollack Periodica; 2017, Vol. 12 Issue 2, p3-15, 13p
-
12
-
13
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Intelligence, Automatic Programming—program modifi- cation General Terms Reliability, Verification Keywords Automated debugging, automatic fixing, program synthesis, dynamic
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.8551; http://bugcounting.net/pubs/issta10.pdf
-
14
Autoren:
Weitere Verfasser:
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
-
15
Autoren: et al.
Quelle: Computer Systems Science & Engineering. 2023, Vol. 45 Issue 2, p2155-2170. 16p.
-
16
Autoren:
Weitere Verfasser:
Schlagwörter: proofs, formal methods, model checking, reliability, D.2.2 [Software Engineering, Design Tools and Techniques—state diagrams, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—temporal logic, C.4 [Performance of Systems, Fault Tolerance, D.1.2 [Programming Techniques, Automatic Programming, D.1.3 [Programming Techniques, Concurrent Programming, C.2.4 [Computer-Communication Networks, Distributed Systems, I.2.2 [Artificial Intelligence, Automatic Programming—program synthesis General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Concurrent programs, fault-tolerance, program synthesis, specification, temporal logic
Dateibeschreibung: application/pdf
-
17
Autoren: et al.
Quelle: ACM Transactions on Programming Languages & Systems; Mar2011, Vol. 33 Issue 2, p7-7:39, 39p
-
18
Autoren: Hiroshi Nakagawa
Quelle: The Journal of Logic Programming. 2:77-91
Schlagwörter: automatic programming, procedural programs, Specification and verification (program logics, model checking, etc.), PROLOG programs, Logic, procedural tree manipulation program, 0202 electrical engineering, electronic engineering, information engineering, PROLOG program transformation, 0102 computer and information sciences, 02 engineering and technology, declarative predicates, 01 natural sciences
Dateibeschreibung: application/xml
-
19
Autoren: et al.
Quelle: 15(1and2):18-32
-
20
Autoren:
Weitere Verfasser:
Schlagwörter: Logic and Formal Languages, Mathematical Logic—temporal logic, I.2.2 [Artificial Intelligence, Automatic Programming—program synthesis General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Atomic registers, concurrent programs, program synthesis, specification, temporal logic
Dateibeschreibung: application/pdf
Full Text Finder 
Nájsť tento článok vo Web of Science