CSP Specification and Verification of a Relay-Based Railway Interlocking System.
P. E. R. BezerraMarcel Vinícius Medeiros OliveiraThierry LecomteDalay Israel de Almeida PereiraPublished in: SBMF (2023)
Keyphrases
- formal verification
- constraint satisfaction problems
- asynchronous circuits
- formal methods
- model checking
- protocol specification
- constraint satisfaction
- constraint programming
- formal specification
- tree decomposition
- constraint propagation
- specification language
- verification method
- colored petri nets
- signature verification
- face verification
- constraint networks
- arc consistency
- tree decompositions
- concurrent systems
- functional verification
- high level
- dynamic constraint satisfaction problems
- decomposition methods
- traffic management
- conceptual model
- wireless networks
- sensor networks
- computational complexity