iQST

Products


Currently we offer the following products:

π-Tool
  • Formal modeling by hierarchical Petri nets
  • Error identification techniques: animation
  • Reachability analysis
  • Modeling of stochastic systems
  • Markov chains
  • Monte-Carlo-Simulation