Reviews (0)
No reviews yet. Be the first to review this listing.
Write a review
Is this your business?
About
A set of tools for the specification, verification, and implementation of reactive systems. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware/software synthesis. Downloadable in binary form for Linux (i586).
Details
- CIN
- —
- Registration Number
- —
- Listed on Stock Exchange
- —
- Company Status
- —
- Registrar of Companies (RoC)
- —
- Company Category
- —
- Company Sub-category
- —
- Class of Company
- —
- Date of Incorporation
- —
- Age of Company
- —
Opening hours
| Monday | — |
|---|---|
| Tuesday | — |
| Wednesday | — |
| Thursday | — |
| Friday | — |
| Saturday | — |
| Sunday | — |
Reviews (0)
No reviews yet. Be the first to review this listing.