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:
“There is a great satisfaction in building good tools for other people to use.”
—Freeman Dyson (b. 1923)
“Machinery is aggressive. The weaver becomes a web, the machinist a machine. If you do not use the tools, they use you. All tools are in one sense edge-tools, and dangerous.”
—Ralph Waldo Emerson (18031882)
“No man is born into the world, whose work
Is not born with him; there is always work,
And tools to work withal, for those who will:
And blessèd are the horny hands of toil!”
—James Russell Lowell (18191891)
Related Phrases
Related Words