Automatic Generation of Logical Specifications for Behavioural Models
Logical specifications for behavioural models are crucial for the formal analysis of complex system designs. The automation of obtaining such a specification is essential particularly for promoting logical and deductive methods in software development. This article replicates earlier methods for automatically generating logical specifications equivalent to behavioural models, while also extending the approach to include workflow mining processes. Various and effective interactions with existing theorem provers are also proposed. We conducted straightforward, yet comprehensive, experiments covering multiple stages, which include workflow extraction, automatic logical specification generation, and theorem prover based analysis and the evaluation of these specifications.
Mon 28 OctDisplayed time zone: Pacific Time (US & Canada) change
10:30 - 12:00 | |||
10:30 10mTalk | Automatic Generation of Logical Specifications for Behavioural Models [Workshop] RENE | ||
10:40 20mTalk | Group Discussion [Workshop] RENE | ||
11:00 20mTalk | MorphQ++: A Reproducibility Study of Metamorphic Testing on Quantum Compilers [Workshop] RENE | ||
11:20 20mDay opening | RENE Track Opening Session [Workshop] RENE | ||
11:40 20mTalk | Taxonomy of Security-related Issues in Android Apps: An Empirical Study [Workshop] RENE Teerath Das University of Jyväskylä, Adam Ali Mohammad Ali JInnah University, Tommi Mikkonen University of Jyvaskyla |