Application of partial-order methods for the verification of closed-loop SDL systems.

Xavier Dumas, Philippe Dhaussy, Frdric Boniol, Eric Bonnafous

Browse the full SAC paper archive.