10 records found
1
Model checking real-time systems based on partition refinement
Real-Time model checking based on splitting
Parametric real-time model checking using splitting trees
ACL: an approach to formal verification of real time systems
Parametric verification of the IEEE 1394a root contention protocol using LPMC
Application of parametric model checking-the root contention protocol
Model checking real-time embedded software
Modeling and verification using XTG and PMC
Parametric model-checking in PMC
Experiments with parametric verification of real-time systems