Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Model checking using adaptive state and data abstraction

Autor: Dams, D.R., Gerth, R.T., Döhmen, G., Herrmann, R., Kelb, P., Pargmann, H., Dill, D.L.

Publikováno v: Computer Aided Verification (Proceedings 6th International Conference, CAV'94, Stanford CA, USA, June 21-23, 1994), 455-467
STARTPAGE=455;ENDPAGE=467;TITLE=Computer Aided Verification (Proceedings 6th International Conference, CAV'94, Stanford CA, USA, June 21-23, 1994)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::4eac53f7bf6b21633a241eb68251b47c
https://research.tue.nl/nl/publications/512715a5-9a0b-48ff-8603-a83bfe7511e7

Automatic Formal Verification of Block Cipher Implementations.

Autor: Smith, E.W., Dill, D.L.

Publikováno v: 2008 Formal Methods in Computer-Aided Design; 2008, p1-7, 7p

Successive approximation of abstract transition relations.

Autor: Das, S., Dill, D.L.

Publikováno v: Proceedings 16th Annual IEEE Symposium on Logic in Computer Science; 2001, p51-58, 8p

Java model checking.

Autor: Park, D.Y.W., Stern, U., Skakkebaek, J.U., Dill, D.L.

Publikováno v: Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering; 2000, p253-256, 4p