Publications
- Integrating Formal Methods into Medical Software Development: the ASM approach2018 | Faculty of Mathematics and Physics
- SMT for state-based formal methods: the ASM case study2018 | Faculty of Mathematics and Physics
- Rigorous development process of a safety-critical system: from ASM models to Java code2017 | Faculty of Mathematics and Physics
- Unified Syntax for Abstract State Machines2016 | Faculty of Mathematics and Physics
- Visual notation and patterns for Abstract State Machines2016 | Faculty of Mathematics and Physics
- SMT-based automatic proof of ASM model refinement2016 | Faculty of Mathematics and Physics
- ASM-based formal design of an adaptivity component for a Cloud system2016 | Faculty of Mathematics and Physics
- Modeling and Validating Self-adaptive Service-oriented Applications2015 | Faculty of Mathematics and Physics
- AsmRefProver - Asmeta Refinement correctness ProverPublication without faculty affiliation
- AsmetaVis - Asmeta VisualizerPublication without faculty affiliation
Loading network view...
