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