Certification Using the Mobius Base Logic (Q3602993): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-92188-2_2
+Normal rank
@@ Property / OpenAlex ID @@
+W1489500452
@@ Property / OpenAlex ID: W1489500452 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417836
@@ Property / cites work: Q4417836 / rank @@
+Normal rank
@@ Property / cites work @@
+A Bytecode Logic for JML and Types
@@ Property / cites work: A Bytecode Logic for JML and Types / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Proof-carrying code from certified abstract interpretation and fixpoint compression
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Sometime = always + recursion \(\equiv\) always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Simplify: a theorem prover for program checking
@@ Property / cites work: Simplify: a theorem prover for program checking / rank @@
+Normal rank
@@ Property / cites work @@
+Integration of a Security Type System into a Program Logic
+Normal rank
@@ Property / cites work @@
+Precise interprocedural analysis through linear algebra
+Normal rank
@@ Property / cites work @@
+Q4411818
@@ Property / cites work: Q4411818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673417
@@ Property / cites work: Q4673417 / rank @@
+Normal rank