We delivered the fans with balancing reports, material certificates, coating certificates and a sensor function test. An FAT test was performed upon delivery, including a running test at maximum RPM. The fan casing is manufactured in three sections for easier transport and is simple to maintain. An IFM EX speed sensor has also been fitted to provide extra protection against overspeed. The fans are also equipped with aluminium cooling fans for extra motor cooling.įinally, two inspection hatches are fitted to the fan casing to allow for regular inspection and cleaning. In addition, these stainless steel centrifugal fans are fitted with a copper-ring shaft seal suitable for ATEX situations and resistant against high temperatures. The Class III stainless steel impeller is fitted with backwards-curved blades, including counter blades on the rear side to create negative pressure at the shaft passage and to reduce dust build-up at the shaft seal. The fans are manufactured to ATEX standard with EX inlet cones suitable for use in Zone 22. The parts that come into contact with the airflow are made of grade 304 stainless steel, and the motor bracket, which is made of normal steel, has a special coating. These industrial fans come equipped with a 110kW six-pole WEG motor. Stainless France, exclusive distributing agent and stockist for french and international companies, producing metallurgical products of high technical. On program transformations and soundness of both contract and termination checking and uses its own reasoning steps, as well as invocations to solvers (theorem provers) z3, CVC4, and Princess.For this project, Slingerland supplied eight stainless steel centrifugal ventilators, each with a capacity of 150,000 m3/h at 1200 Pa at 60☌. Inox supports model-complete queries in a feature-rich fragment that lets Stainless focus Stainless relies on Inox to solve the various queries stemming from program verification. See the LICENSE file for more information. License Stainless is released under the Apache 2.0 license. Or see local documentation chapters, such as: Formal Verification Course: Getting Started, Tutorial 1 Tutorial 2 Tutorial 3 Tutorial 4, Assertions, Unfolding, Dispenser Example.Further Documentation and Learning Materials More information is available in the documentation links. See frontends/benchmarks/verification/valid/ and related directories for some benchmarks andīolts repository for a larger collection. The default behavior of Stainless is to formally verify files, instead of generating JVM class files. Use one of these scripts as you would use scalac to compile Scala files. frontends/dotty/target/universal/stage/bin/stainless-dotty.frontends/scalac/target/universal/stage/bin/stainless-scalac.If all goes well, scripts are generated for Scala 3 and Scala 2 versions of the front end: To build the project, run sbt universal:stage. To start quickly, install a JVM and use a recent release. Z3 and CVC4 can still be used if their executable can be found in the $PATH. Note that this method only ships the Princess SMT solver. Verification occurs with the usual compile command. ThisBuild / version : = "0.1.0 " ThisBuild / scalaVersion : = "3.2.0 " lazy val myTestProject = (project in file( ". To do so, download sbt-stainless, and move it to the directory of the project. The supported Scala versions are 3.2.0 and 2.13.6 SBT Stainless pluginĪlternatively, one may integrate Stainless with SBT. If z3 API is not found, use option -solvers=smt-z3 to rely on the executable. It is shipped with Z3 4.8.14 and Princess. In particular, it needs neither a Scala compiler nor SBT. The release archive of Stainless only requires JDK17. If you see funny symbols instead of the beautiful ASCII art, run Stainless with -no-colors option for clean ASCII output with standardized error message format. ║ total: 1 valid: 1 (0 from cache) invalid: 0 unknown: 0 time: 0,0 ║ ║ HelloStainless.scala:6:5: myTail body assertion: match exhaustiveness nativez3 0,0 ║
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |