Index Catalog // Digital WPI

Verification techniques of feature-oriented Java

1 of 10

Timing diagram to Buchi automation translation

2 of 10

Random finite-state automata for model checking

3 of 10

Mining state machine simulations

4 of 10

Generating header files for hardware simulators

5 of 10

FSATS -- a case study of computer-aided verification for large systems

6 of 10

Extensible timing diagram editor

7 of 10

Emergency response simulation

8 of 10

Development of cross-disciplinary course material

9 of 10

Comparing algorithms for symbolic cycle detection

10 of 10

Limit your search