ℹ️
🇬🇧
Search
Search for publications relevant for "Abstract State Machines"
Abstract State Machines
Publication
Class
Person
Publication
Programmes
publication
Unified Syntax for Abstract State Machines
2016 |
Faculty of Mathematics and Physics
publication
Visual notation and patterns for Abstract State Machines
2016 |
Faculty of Mathematics and Physics
publication
AsmRefProver - Asmeta Refinement correctness Prover
Publication without faculty affiliation
publication
AsmetaVis - Asmeta Visualizer
Publication without faculty affiliation
publication
How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study
2016 |
Faculty of Mathematics and Physics
publication
SMT-based automatic proof of ASM model refinement
2016 |
Faculty of Mathematics and Physics
publication
Formal validation and verification of a medical software critical component
2015 |
Faculty of Mathematics and Physics
publication
Integrating Formal Methods into Medical Software Development: the ASM approach
2018 |
Faculty of Mathematics and Physics
publication
Formal design and verification of self-adaptive systems with decentralized control
2017 |
Faculty of Mathematics and Physics
publication
Rigorous development process of a safety-critical system: from ASM models to Java code
2017 |
Faculty of Mathematics and Physics
publication
ASM-based formal design of an adaptivity component for a Cloud system
2016 |
Faculty of Mathematics and Physics
publication
SMT for state-based formal methods: the ASM case study
2018 |
Faculty of Mathematics and Physics