Verification and Testing of S-ER Representations.
Antonio L. FurtadoPaulo A. S. VelosoJosé Mauro Volkmer de CastilhoPublished in: ER (1981)
Keyphrases
- formal verification
- test generation
- symbolic execution
- face verification
- model checking
- test cases
- higher level
- asynchronous circuits
- multiple representations
- signature verification
- concurrent systems
- verification method
- test data generation
- intermediate representation
- search engine
- symbolic representation
- statistical tests
- distributed systems
- learning environment
- similarity measure