RF Lutje Spelberg

Conference paper (8)

Doctoral thesis (1)

Journal article (1)

10 records found

Model checking real-time systems based on partition refinement

Doctoral thesis (2004) - RF Lutje Spelberg (author)

Real-Time model checking based on splitting

Conference paper (2001) - RF Lutje Spelberg (author) , WJ Toetenel (author)

Parametric real-time model checking using splitting trees

Journal article (2001) - RF Lutje Spelberg (author) , WJ Toetenel (author)

ACL: an approach to formal verification of real time systems

Model checking real-time embedded software

Conference paper (2000) - WJ Toetenel (author) , RF Lutje Spelberg (author)

Application of parametric model checking-the root contention protocol

Parametric verification of the IEEE 1394a root contention protocol using LPMC

Parametric model-checking in PMC

Modeling and verification using XTG and PMC

Experiments with parametric verification of real-time systems