Runtime enforcement monitors: Composition, synthesis, and enforcement abilities (Q548696): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-011-0114-4
@@ Property / DOI: 10.1007/s10703-011-0114-4 / 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 / zbMATH DE Number @@
+5915220
@@ Property / zbMATH DE Number: 5915220 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+runtime enforcement
@@ Property / zbMATH Keywords: runtime enforcement / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+monitor
@@ Property / zbMATH Keywords: monitor / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+safety-progress classification
@@ Property / zbMATH Keywords: safety-progress classification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+monitor synthesis
@@ Property / zbMATH Keywords: monitor synthesis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+composition
@@ Property / zbMATH Keywords: composition / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Valgrind
@@ Property / describes a project that uses: Valgrind / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BCEL
@@ Property / describes a project that uses: BCEL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-011-0114-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2028720147
@@ Property / OpenAlex ID: W2028720147 / rank @@
+Normal rank
@@ Property / cites work @@
+A brief account of runtime verification
@@ Property / cites work: A brief account of runtime verification / rank @@
+Normal rank
@@ Property / cites work @@
+Proving the Correctness of Multiprocess Programs
@@ Property / cites work: Proving the Correctness of Multiprocess Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10703-011-0114-4
@@ Property / DOI: 10.1007/S10703-011-0114-4 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:548696