• # Helena

• Referenced in 6 articles [sw33425]
• Helena and Promela and establish stutter trace equivalence between them. Thus, we can guarantee that ... formulae (without next). Our correctness proof relies on a new, general criterion for stutter trace...
• # TACO

• Referenced in 6 articles [sw07668]
• propositional formula, and analyzing the formula for specification violations using a SAT-solver ... violation is found, an execution trace exposing the error is exhibited. Code involving linked data ... Experiments show that the translations to propositional formulas require significantly less propositional variables, leading...
• # SEQ.OPEN

• Referenced in 1 article [sw00849]
• allow to check the correctness of event traces obtained by simulating or executing complex, industrial ... modal $\mu$-calculus formulas, and verified efficiently on very large traces...
• # Numerical Solutions

• Referenced in 0 articles [sw06013]
• operations (add, subtract, multiply), finding the determinant, trace, inverse, adjoint, QR or LU factors, real ... Prime factors, base conversion, complex numbers, sorting, formulas for triangles and circles...