HyComp

MaRDI QIDQ31985swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-662-46681-0_4

Cited in

(17)

• Diagnosability of fair transition systems
• InvA
• Generalized rewrite theories, coherence completion, and symbolic methods
• HyDI
• SynchAADL2Maude
• RATSY
• nuXmv
• HYST
• XSpeed
• Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
• Linear-time temporal logic with event freezing functions
• CTIGAR
• iSAT
• Abstractions Refinement for Hybrid Systems Diagnosability Analysis
• Papyrus-RT
• OCRA
• Generalized property-directed reachability for hybrid systems

This page was built for software: HyComp