Translating Java for multiple model checkers: The Bandera back-end (Q816196): Difference between revisions

@@ Property / describes a project that uses @@
+Java PathFinder
@@ Property / describes a project that uses: Java PathFinder / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bandera
@@ Property / describes a project that uses: Bandera / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TVLA
@@ Property / describes a project that uses: TVLA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+veriSoft
@@ Property / describes a project that uses: veriSoft / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IF-2.0
@@ Property / describes a project that uses: IF-2.0 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bebop
@@ Property / describes a project that uses: Bebop / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+dSPIN
@@ Property / describes a project that uses: dSPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / 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-005-1491-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2093826986
@@ Property / OpenAlex ID: W2093826986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754091
@@ Property / cites work: Q2754091 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679697
@@ Property / cites work: Q5679697 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753756
@@ Property / cites work: Q2753756 / rank @@
+Normal rank
@@ Property / cites work @@
+NuSMV: A new symbolic model checker
@@ Property / cites work: NuSMV: A new symbolic model checker / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753762
@@ Property / cites work: Q2753762 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4530808
@@ Property / cites work: Q4530808 / rank @@
+Normal rank
@@ Property / cites work @@
+A partial order approach to branching time logic model checking.
+Normal rank
@@ Property / cites work @@
+Q3707345
@@ Property / cites work: Q3707345 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
+Normal rank
@@ Property / cites work @@
+Q4414730
@@ Property / cites work: Q4414730 / rank @@
+Normal rank
@@ Property / cites work @@
+Slicing software for model construction
@@ Property / cites work: Slicing software for model construction / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking JAVA programs using JAVA PathFinder
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753748
@@ Property / cites work: Q2753748 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722067
@@ Property / cites work: Q2722067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738472
@@ Property / cites work: Q4738472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4806206
@@ Property / cites work: Q4806206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Three logics for branching bisimulation
@@ Property / cites work: Three logics for branching bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769593
@@ Property / cites work: Q2769593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753763
@@ Property / cites work: Q2753763 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying safety properties of concurrent Java programs using 3-valued logic
+Normal rank