TASS: the toolkit for accurate scientific software (Q1949767): Difference between revisions

@@ Property / describes a project that uses @@
+BLAST
@@ Property / describes a project that uses: BLAST / 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 @@
+Why3
@@ Property / describes a project that uses: Why3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KLEE
@@ Property / describes a project that uses: KLEE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ISP
@@ Property / describes a project that uses: ISP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KLEE-FP
@@ Property / describes a project that uses: KLEE-FP / 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/s11786-011-0100-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2015321775
@@ Property / OpenAlex ID: W2015321775 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-Prover Verification of Floating-Point Programs
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive versions of Tarski's fixed point theorems
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+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 @@
+Q4426387
@@ Property / cites work: Q4426387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5461269
@@ Property / cites work: Q5461269 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417955
@@ Property / cites work: Q4417955 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic execution and program testing
@@ Property / cites work: Symbolic execution and program testing / rank @@
+Normal rank
@@ Property / cites work @@
+Designing Software for Ease of Extension and Contraction
+Normal rank
@@ Property / cites work @@
+Q2845504
@@ Property / cites work: Q2845504 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Model Checking Nonblocking MPI Programs
@@ Property / cites work: Model Checking Nonblocking MPI Programs / rank @@
+Normal rank
@@ Property / cites work @@
+TASS: the toolkit for accurate scientific software
+Normal rank
@@ Property / cites work @@
+FEVS: a functional equivalence verification suite for high-performance scientific computing
+Normal rank
@@ Property / cites work @@
+Collective Assertions
@@ Property / cites work: Collective Assertions / rank @@
+Normal rank