OCRA
From MaRDI portal
Cited in
(13)- Theory and methodology of assumption/commitment based system interface specification and architectural contracts
- Tightening the contract refinements of a system architecture
- Conditions of contracts for separating responsibilities in heterogeneous systems
- HOL-OCL
- SMT-based satisfiability of first-order LTL with event freezing functions and metric operators
- RATSY
- nuXmv
- SL2SX
- HyComp
- Linear-time temporal logic with event freezing functions
- Papyrus-RT
- Formal reliability analysis of redundancy architectures
- HRELTL: a temporal logic for hybrid systems
This page was built for software: OCRA
