HyComp

MaRDI QIDQ31985swMATHFDO

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

Cited in

(17)

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

This page was built for software: HyComp