Search Results - Automatic 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:
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
-
5
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
-
6
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 -
7
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
-
8
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
9
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
-
10
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems, D.1.2 [Programming Techniques, Automatic Programming, D.1.3 [Programming Techniques, Concurrent Programming, D.2.1 [Software Engineering, Requirements/ Specifications, D.2.2 [Software Engineering, Design Tools and Techniques—state diagrams, D.2.4 [Software Engineering, Software/Program Verification—correctness proofs, formal methods, model checking, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—logics of programs, mechanical verification, F.4.1 [Mathematical 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
File Description: application/pdf
-
11
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program verification – Formal method, D.1.2 [Programming Techniques, Automatic Programming – Program synthesis, D.2.1 [Software Engineering, Requirements/Specifications – Methodologies, D.2.2 [Software Engineering, Design Tools and Techniques – computer aided software engineering. General Terms, Algorithms, Design, Experimentation, Verification. Keywords, Correct-by-construction, device driver, operating
File Description: application/pdf
-
12
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming—Parallel Programming, I.2.2 [Artificial Intelligence, Automatic Programming—Program syn- thesis General Terms Languages, Performance, Verification Keywords Synthesis, Compiler Optimization, Concurrency, Par- allelism, Amorphous Data-parallelism, Irregular Programs
File Description: application/pdf
-
13
Authors: et al.
Contributors: et al.
Subject Terms: cal Logic and Formal Languages, Mathematical Logic—model theory, F.4.2 [Mathematical Logic and Formal Languages, Formal Languages—deciston problems, 1.2.2 [Artificial Intelligence, Automatic Programming—program [edification, J.7 [Compnters in Other Systems]—real time General Terms, Theory, Verificatmrr Additional Key Words and Phrases, Dense time, discrete time, EXPSPACE-completeness, linear-time temporal logic, model checking, real-time requirements
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.4435; http://www.cis.upenn.edu/~alur/JACM94.pdf
-
14
Source: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p
Subject Terms: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory
-
15
Authors: et al.
Source: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p
-
16
-
17
Authors: et al.
Source: Buildings (2075-5309); Sep2025, Vol. 15 Issue 18, p3330, 21p
-
18
Authors: Wei-Chuan Wang
Source: Journal of Accounting, Finance & Management Strategy; Jun2023, Vol. 18 Issue 1, p71-118, 48p
-
19
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 -
20
Authors:
Source: Journal of Computational Methods in Sciences & Engineering; Nov2024, Vol. 24 Issue 6, p3394-3407, 14p
Subject Terms: EXTREME weather, SUPPORT vector machines, WEATHER, GENETIC algorithms, PREDICTION models, TRAFFIC accidents
Nájsť tento článok vo Web of Science 
Full Text Finder