Výsledky vyhledávání - Automatic Programming—program verification General Terms*
-
1
Autoři:
Přispěvatelé:
Témata: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis, program verification. General Terms Design, Verification. Keywords Grammatical Evolution, Automatic Code Generation, Verilog
Popis souboru: 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
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
3
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: 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
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: 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
Autoři:
Přispěvatelé:
Zdroj: http://www.cs.cmu.edu/~emc/papers/Papers In Refereed Journals/The complexity of propositional linear temporal logics85.pdf.
Témata: 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
Popis souboru: 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
Dostupnost: 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 -
6
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
7
Autoři: a další
Přispěvatelé: a další
Témata: Intelligence, Automatic Programming—program modifi- cation General Terms Reliability, Verification Keywords Automated debugging, automatic fixing, program synthesis, dynamic
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.8551; http://bugcounting.net/pubs/issta10.pdf
-
8
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
9
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
10
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
11
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
12
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
13
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: 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
Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p
-
15
-
16
Autoři: a další
Zdroj: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p
-
17
Autoři: a další
Zdroj: Buildings (2075-5309); Sep2025, Vol. 15 Issue 18, p3330, 21p
-
18
Autoři:
Resource Type: eBook.
Témata: 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
Plný text ve formátu PDF Plný text ve formátu ePub -
19
Autoři:
Zdroj: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p
-
20
Autoři:
Resource Type: eBook.
Témata: 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
Plný text ve formátu PDF Plný text ve formátu ePub
Nájsť tento článok vo Web of Science 
Full Text Finder