Hoare logic-based genetic programming (Q543275): Difference between revisions

@@ Property / author @@
-Pei He
@@ Property / author: Pei He / rank @@
-Normal rank
@@ Property / author @@
-Lishan Kang
@@ Property / author: Lishan Kang / rank @@
-Normal rank
@@ Property / author @@
+Pei He
@@ Property / author: Pei He / rank @@
+Normal rank
@@ Property / author @@
+Lishan Kang
@@ Property / author: Lishan Kang / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5909083
@@ Property / zbMATH DE Number: 5909083 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+genetic programming
@@ Property / zbMATH Keywords: genetic programming / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+program verification
@@ Property / zbMATH Keywords: program verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Hoare logic
@@ Property / zbMATH Keywords: Hoare logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking
@@ Property / zbMATH Keywords: model checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+finite state automata
@@ Property / zbMATH Keywords: finite state automata / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MCGP
@@ Property / describes a project that uses: MCGP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2028585812
@@ Property / OpenAlex ID: W2028585812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845469
@@ Property / cites work: Q4845469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4382646
@@ Property / cites work: Q4382646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5321499
@@ Property / cites work: Q5321499 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4794698
@@ Property / cites work: Q4794698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845470
@@ Property / cites work: Q4845470 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification is experimentation!
@@ Property / cites work: Verification is experimentation! / rank @@
+Normal rank
@@ Property / cites work @@
+Logic in Computer Science
@@ Property / cites work: Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical theory of partial correctness
@@ Property / cites work: Mathematical theory of partial correctness / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5490371
@@ Property / cites work: Q5490371 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5452362
@@ Property / cites work: Q5452362 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4833652
@@ Property / cites work: Q4833652 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:543275