Publications
- Verifying Temporal Properties of Use-Cases in Natural Language2012 | Faculty of Mathematics and Physics
- Formal Verification of Annotated Textual Use-Cases2015 | Faculty of Mathematics and Physics, Central Library of Charles University
- Framework for Static Analysis of PHP Applications2015 | Faculty of Mathematics and Physics
- WeVerca: Web Applications Verification for PHP2014 | Faculty of Mathematics and Physics
- Data-flow Analysis of Programs with Associative Arrays2014 | Faculty of Mathematics and Physics
- On Security Analysis of PHP Web Applications2012 | Faculty of Mathematics and Physics
- Framework for Static Analysis of PHP Applications (Artifact)Publication without faculty affiliation
Loading network view...