HyComp

swMATH20163MaRDI QIDQ31985FDOQ31985

Author name not available (Why is that?)

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

Cited In (17)

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

This page was built for software: HyComp