Search Results - (automatic OR automation) programming—program verification general terms~
-
1
Authors:
Contributors:
Subject Terms: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis, program verification. General Terms Design, Verification. Keywords Grammatical Evolution, Automatic Code Generation, Verilog
File Description: 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
-
2
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
3
Authors:
Contributors:
Subject Terms: 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
File Description: 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
-
4
Authors: et al.
Source: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p
-
5
Source: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p
Subject Terms: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory
-
6
Authors:
Resource Type: eBook.
Subjects: 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
PDF Full Text ePub Full Text -
7
Authors: Wei-Chuan Wang
Source: Journal of Accounting, Finance & Management Strategy; Jun2023, Vol. 18 Issue 1, p71-118, 48p
-
8
Authors:
Source: Journal of Manufacturing & Materials Processing; Dec2024, Vol. 8 Issue 6, p276, 36p
-
9
Authors:
Source: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p
-
10
Authors: et al.
Source: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p
Subject Terms: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)
-
11
Authors:
Source: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p
-
12
-
13
Authors:
Source: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p
-
14
Authors:
Contributors:
Subject Terms: 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
File Description: 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
-
15
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis, program verification. General Terms Algorithms, Design, Theory. Keywords Genetic Programming, even parity, pac-man, meta-learning, memetic
File Description: application/pdf
-
16
Authors: et al.
Source: Buildings (2075-5309); Sep2025, Vol. 15 Issue 18, p3330, 21p
-
17
Authors:
Contributors:
Source: http://www.cs.cmu.edu/~emc/papers/Papers In Refereed Journals/The complexity of propositional linear temporal logics85.pdf.
Subject Terms: veriJ?cation, 1.2.2 [Artificial Intelligence, Automatic Programming--program verification General Terms, Theory Additional Key Words and Phrases, Branching time temporal logic, decision procedures, linear time temporal logic, NP-complete, PSPACE-complete, satistiability
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.178; http://www.cs.cmu.edu/~emc/papers/Papers In Refereed Journals/The complexity of propositional linear temporal logics85.pdf
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.178
http://www.cs.cmu.edu/~emc/papers/Papers In Refereed Journals/The complexity of propositional linear temporal logics85.pdf -
18
Authors: et al.
Contributors: et al.
Subject Terms: Intelligence, Automatic Programming—program modifi- cation General Terms Reliability, Verification Keywords Automated debugging, automatic fixing, program synthesis, dynamic
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.8551; http://bugcounting.net/pubs/issta10.pdf
-
19
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
20
Authors: et al.
Source: Journal of Automated Reasoning; Jun2020, Vol. 64 Issue 5, p947-999, 53p
Subject Terms: COMPUTER programming, SEMANTICS, COMPILERS (Computer programs), PROOF theory
Geographic Terms: PARIS (France)
Nájsť tento článok vo Web of Science 
Full Text Finder