• # Z

• Referenced in 279 articles [sw10291]
• with the exception of the natural deduction calculus, see below -- only introduction ... integration of $Z$ with the refinement calculus and data refinement. The overall presentation is fluent ... tedious exposition of the natural deduction calculus, which is not used further ... although all necessary notions from the relational calculus are introduced, its algebraic properties...
• # Pesca

• Referenced in 130 articles [sw13664]
• PESCA = Proof Editor for Sequent Calculus: Pesca is a program that helps in the construction ... proofs in sequent calculus. It works both as a proof editor and as an automatic...
• # CRONE

• Referenced in 173 articles [sw07382]
• Matlab and Simulink Toolbox dedicated to fractional calculus. The original theoretical and mathematical concepts, developed...
• # Featherweight Java

• Referenced in 91 articles [sw16204]
• Featherweight Java: A minimal core calculus for Java and GJ. Several recent studies have introduced ... even assignment) to obtain a small calculus, Featherweight Java, for which rigorous proofs ... similar relation to Java as the lambda-calculus does to languages such...
• # SLMC

• Referenced in 71 articles [sw04604]
• Checker is a tool for verifying π-calculus systems against safety, liveness, and structural properties ... tools for verifying systems modeled in π-calculus...