The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems

@inproceedings{Ouimet2007TheTT,
  title={The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems},
  author={Martin Ouimet and Kristina Lundqvist},
  booktitle={CAV},
  year={2007}
}
In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) language, a specification language for reactive real-time systems. The TASM language enables the specification of functional and non-functional properties using a unified language. The toolset incorporates features to create specifications, simulate specifications, and verify formal properties of specifications. Properties that can… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 16 extracted citations

References

Publications referenced by this paper.
Showing 1-7 of 7 references

The Timed Abstract State Machine Language: An Executable Specification Language for Reactive Real-Time Systems

  • M. Ouimet, K. Lundqvist
  • Proceedings of the 15th International Conference…
  • 2007
1 Excerpt

The Hi-Five Framework and the Timed Abstract State Machine Language

  • M. Ouimet, K. Lundqvist
  • Proceedings of the 27th IEEE Real-Time Systems…
  • 2006
1 Excerpt

Similar Papers

Loading similar papers…