velikost textu
Výsledky projektu Techniky pro explicit state model checking
Výsledky
  Typ výsledku
Autor celku
Název celku(Celkem 7 zázn.)
|
|---|
| Parízek, Pavel;Jančík, Pavel. Approximating happens-before order: interplay between static analysis and state space traversal. In Neha Rungta and Oksana Tkachuk. Proceedings of the 2014 International SPIN Symposium on Model Checking of Software. : ACM New York, NY, USA, 2014. s. 1–10. ISBN 978-1-4503-2452-6. [Článek ve sborníku] |
| Jancik, Pavel; Kofroň, Jan; Rollini, Simone Fulvio; Sharygina Natasha. On Interpolants and Variable Assignments. In Coen Claessen and Viktor Kuncak. Formal Methods in Computer-Aided Design (FMCAD 2014). : IEEE, 2014. s. 123–130. ISBN 978-0-9835678-4-4. [Článek ve sborníku] |
| Jančík, Pavel; Parízek, Pavel; Kofroň Jan. BeJC: Checking Compliance between Java Implementation and Behavior Specification. In Grassi Vincenzo. Proceedings of the 17th international doctoral symposium on Components and Architecture. : ACM, 2012. s. 31–36. ISBN 978-1-4503-1348-3. [Článek ve sborníku] |
| Jancik, Pavel; Alt, Leonardo; Fedyukovich, Grigory; Hyvärinen, Antti E. J.; Kofron, Jan, PVAIR: Partial Variable Assignment InterpolatoR paper submitted to CAV 2015 [Jiný výsledek] |
| Jančík P., Kofroň J., Rollini S. F., Sharygina N., On Partial Variable Assignment Interpolants (http://d3s.mff.cuni.cz/publications/download/D3S-TR-2013-05-PVAI.pdf) [Jiný výsledek] |
| Parízek P., Jančík P., Computing Approximate Happens-Before Order with Static and Dynamic Analysis (http://d3s.mff.cuni.cz/publications/download/D3S-TR-2013-06.pdf) [Jiný výsledek] |
| Jančík Pavel, Průběžně výsledky byly prezentovány v rámci Doktorského týdne MFF. [Jiný výsledek] |