Publikace
- Integrating Formal Methods into Medical Software Development: the ASM approach2018 | Matematicko-fyzikální fakulta
- SMT for state-based formal methods: the ASM case study2018 | Matematicko-fyzikální fakulta
- Rigorous development process of a safety-critical system: from ASM models to Java code2017 | Matematicko-fyzikální fakulta
- How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study2016 | Matematicko-fyzikální fakulta
- SMT-based automatic proof of ASM model refinement2016 | Matematicko-fyzikální fakulta
- ASM-based formal design of an adaptivity component for a Cloud system2016 | Matematicko-fyzikální fakulta
- Formal validation and verification of a medical software critical component2015 | Matematicko-fyzikální fakulta
- AsmRefProver - Asmeta Refinement correctness ProverPublikace bez příslušnosti k fakultě
- Decomposition-Based Approach for Model-Based Test Generation2019 | Matematicko-fyzikální fakulta
- Fault-based test generation for regular expressions by mutation2019 | Matematicko-fyzikální fakulta
Loading network view...