Searching for "CheckMATE." – sorted by Relevance.
69 documents found, showing 1 through 10.
Next 10 →
-
Fixed point iteration for computing the time elapse operator
- … by populartools such as Hytech, DDT, CheckMate and Charon. To apply the forward propagation scheme to hybrid…
- Cited by 1 (1 self) – Add To MetaCart
-
Software Malleability: We're Losing It!
- … is delivered to users and system integrators in executable format. This \check-mates" those parties from…
- Cited by 1 (0 self) – Add To MetaCart
-
Hans Lausen, Jakob Nielsen, Michael Nielsen
- … designed based on simulations carried out with the Hybrid Automata Matlab/Simulink toolbox CheckMate…
- Add To MetaCart
-
Overview Methodology
- … candidate tools for hybrid system analysis, resulting in the selection of CheckMate for further evaluation…
- Add To MetaCart
-
The d/dt Tool for Verification of Hybrid System
- … only the relationship between d=dt and two other tools: CheckMate [10] and VeriShift [8]. The reader…
- Cited by 30 (4 self) – Add To MetaCart
-
Academia: Pedagogical Visualization Techniques Weaving Chemistry and Engineering Graphical Communication
- … actions of the group and awards are presented at this meeting. Checkmate: Check-Mate Product Validation…
- Add To MetaCart
-
Hybrid System Verification is not a Sinecure - The Electronic Throttle Control Case Study
- … for model checking of hybrid systems such as Hytech [8], Verishift [14], d/dt [5] and CheckMate [3]. A…
- Add To MetaCart
-
Reachability Analysis of Hybrid Systems using Counter-Example Guided Predicate Abstraction
- …, emerging tools such as CheckMate [17], d/dt [10], and level-sets method [39, 51], approximate the set…
- Cited by 3 (3 self) – Add To MetaCart
-
Interchange formats for hybrid systems: Review and proposal
- … inferred during compilation. Hysdel [11] and CheckMate [12] describe the hybrid system as a finite state…
- Cited by 3 (1 self) – Add To MetaCart
-
Predicate abstraction for reachability analysis of hybrid systems
- … manipulation of linear inequalities. On the other hand, emerging tools such as CheckMate [Chutinan and Krogh…
- Cited by 4 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
