4 citations · 12 across the 7 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.HC2019★ 4 cited
Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability
Eduard Kamburjan, Jonas Stromberg
Development processes in various engineering disciplines are incorporating formal models to ensure safety properties of critical systems. The use of these formal models requires to…
cs.LO2019★ 2 cited
Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report)
Eduard Kamburjan
We present Behavioral Program Logic (BPL), a dynamic logic for trace properties that incorporates concepts from behavioral types and allows reasoning about non-functional propertie…