The MathSAT 3 system

Autor: Bozzano, M., Bruttomesso, R., Cimatti, A., Junttila, T., Rossum, P.J.B. van, Schulz, S., Sebastiani, R., Nieuwenhuis, R.

Publikováno v: Nieuwenhuis, R. (ed.), Automated Deduction-Cade-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings, 315-321. Berlin : Springer
STARTPAGE=315;ENDPAGE=321;ISSN=0302-9743;TITLE=Nieuwenhuis, R. (ed.), Automated Deduction-Cade-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::96a7b998e4eedd0c290602919dfa3202
https://hdl.handle.net/2066/282676

Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks.

Autor: Kindermann, R., Junttila, T., Niemela, I.

Publikováno v: 2011 11th International Conference on Application of Concurrency to System Design (ACSD); 2011, p185-194, 10p

Efficient Model Checking of PSL Safety Properties.

Autor: Launiainen, T., Heljanko, K., Junttila, T.

Publikováno v: 2010 10th International Conference on Application of Concurrency to System Design (ACSD); 2010, p95-104, 10p

Symbolic model checking of hierarchical UML state machines.

Autor: Dubrovin, J., Junttila, T.

Publikováno v: 2008 8th International Conference on Application of Concurrency to System Design; 2008, p108-117, 10p

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