Specification and Verification of a Parametric Handover Procedure Using TLA.
Tatjana KapusPublished in: J. Circuits Syst. Comput. (2006)
Keyphrases
- formal verification
- temporal logic
- model checking
- formal methods
- asynchronous circuits
- protocol specification
- colored petri nets
- formal specification
- base station
- high level
- verification method
- data sets
- face verification
- signature verification
- conceptual model
- fingerprint verification
- reactive systems
- case study
- functional verification