Tools
- HyTech: A Model Checker for Hybrid Systems
- HSolver: Verification of Hybrid Systems
- PHAVer: Polyhedral Hybrid Automaton Verifyer
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems
- PowerDEVS: A general-purpose software tool for DEVS modeling and simulation oriented to the simulation of hybrid systems
Read more about this topic: Hybrid System
Famous quotes containing the word tools:
“Think of the tools in a tool-box: there is a hammer, pliers, a saw, a screwdriver, a rule, a glue-pot, nails and screws.—The function of words are as diverse as the functions of these objects.”
—Ludwig Wittgenstein (1889–1951)
“... pure and intelligent women can be deceived and misled by the baser sort, their very innocence and experience making them credulous and the helpless tools of the guilty and bold.”
—Catherine E. Beecher (1800–1878)
“There is a great satisfaction in building good tools for other people to use.”
—Freeman Dyson (b. 1923)
Related Phrases
Related Words