Program verification using symbolic game semantics (Q477213): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2014.01.016
@@ Property / DOI: 10.1016/j.tcs.2014.01.016 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6376196
@@ Property / zbMATH DE Number: 6376196 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algorithmic game semantics
@@ Property / zbMATH Keywords: algorithmic game semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+symbolic automata
@@ Property / zbMATH Keywords: symbolic automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+program verification
@@ Property / zbMATH Keywords: program verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+predicate abstraction
@@ Property / zbMATH Keywords: predicate abstraction / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2014.01.016
+Normal rank
@@ Property / OpenAlex ID @@
+W2124580491
@@ Property / OpenAlex ID: W2124580491 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Predicate Abstraction from Game Semantics
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922128
@@ Property / cites work: Q3922128 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Program Verification Using Symbolic Execution
+Normal rank
@@ Property / cites work @@
+Q4817541
@@ Property / cites work: Q4817541 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4986508
@@ Property / cites work: Q4986508 / rank @@
+Normal rank
@@ Property / cites work @@
+The regular-language semantics of second-order idealized ALGOL
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536630
@@ Property / cites work: Q4536630 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2014.01.016
@@ Property / DOI: 10.1016/J.TCS.2014.01.016 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:477213