Temporal property verification as a program analysis task (Q2441713): Difference between revisions

@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PostgreSQL
@@ Property / describes a project that uses: PostgreSQL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YASM
@@ Property / describes a project that uses: YASM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LTL2BA
@@ Property / describes a project that uses: LTL2BA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ASTREE
@@ Property / describes a project that uses: ASTREE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BLAST
@@ Property / describes a project that uses: BLAST / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1518606372
@@ Property / OpenAlex ID: W1518606372 / rank @@
+Normal rank
@@ Property / cites work @@
+Protocol conformance through refinement mappings in cadence SMV
+Normal rank
@@ Property / cites work @@
+Variance analyses from invariance analyses
@@ Property / cites work: Variance analyses from invariance analyses / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Compositional shape analysis by means of bi-abduction
+Normal rank
@@ Property / cites work @@
+State/Event Software Verification for Branching-Time Specifications
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Proving that programs eventually do something good
+Normal rank
@@ Property / cites work @@
+Making prophecies with decision predicates
@@ Property / cites work: Making prophecies with decision predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939270
@@ Property / cites work: Q4939270 / rank @@
+Normal rank
@@ Property / cites work @@
+Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation
+Normal rank
@@ Property / cites work @@
+Q4551134
@@ Property / cites work: Q4551134 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal property verification as a program analysis task
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Arithmetic Strengthening for Shape Analysis
@@ Property / cites work: Arithmetic Strengthening for Shape Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Transition Invariants and Transition Predicate Abstraction for Program Termination
+Normal rank
@@ Property / cites work @@
+Q4472439
@@ Property / cites work: Q4472439 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2441713