A presentation of the specification and verification project "ABEL".
Ole-Johan DahlOlaf OwePublished in: ACM SIGSOFT Softw. Eng. Notes (1985)
Keyphrases
- formal verification
- asynchronous circuits
- high level
- formal methods
- project management
- real time
- european project
- model checking
- face verification
- formal specification
- future plans
- database
- software development
- multimedia
- information retrieval
- user defined
- specification language
- digital libraries
- fingerprint verification
- search engine
- colored petri nets
- functional verification