Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview
A Wijs - International Conference on Formal Aspects of …, 2023 - Springer
Abstract In 2009, the Simple Language of Communicating Objects (Slco) Domain-Specific
Language was designed. Since then, a range of tools have been developed around this …
Language was designed. Since then, a range of tools have been developed around this …
[HTML][HTML] Dependency safety for Java–Implementing and testing failboxes
Exception mechanisms help to ensure that a program satisfies the important robustness
criterion of dependency safety: if an operation fails in an execution sequence, any code …
criterion of dependency safety: if an operation fails in an execution sequence, any code …
[PDF][PDF] From concurrent state machines to reliable multi-threaded Java code
D Zhang - 2018 - research.tue.nl
1.1 Background The rise in popularity of modern parallel computing hardware, such as multi-
core processors [10, 72, 83] and graphics processing units (GPUs)[25, 26, 52, 78, 80], has …
core processors [10, 72, 83] and graphics processing units (GPUs)[25, 26, 52, 78, 80], has …