A Transformation of SDL Specifications - A Step towards the Verification.
Natalia IoustinovaNatalia SidorovaPublished in: Ershov Memorial Conference (2001)
Keyphrases
- concurrent systems
- automated verification
- model checking
- model checker
- formal verification
- asynchronous circuits
- formal methods
- formal specification
- artificial intelligence
- high level
- multiscale
- functional requirements
- multi step
- temporal logic
- post processing
- website
- learning algorithm
- protocol specification
- databases
- face verification
- computer vision
- information retrieval
- machine learning
- real world