An Ocarina Extension for AADL Formal Semantics Generation

doi 10.1145/3167132.3167282
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Formal Verification of AADL Models Using UPPAAL

2017English

Some Formal Semantics for Epistemic Modesty

Logic and Logical Philosophy
Philosophy
2020English

Polychronous Automata and Their Use for Formal Validation of AADL Models

Frontiers of Computer Science
Computer ScienceTheoretical Computer Science
2019English

Formal Verification of AADL Specifications in the Topcased Environment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Formal Semantics and Verification for Feature Modeling

English

Elements of Formal Semantics: An Introduction to Logic for Students of Language

Language
LinguisticsLanguage
1989English

Automatic Generation of Systematic Test Cases Using AADL for Embedded Software

International Journal of Future Computer and Communication
2012English

A Formal Framework for Prototyping Executable Semantics in ATL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

A Formal Semantics for Isorecursive and Equirecursive State Abstractions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy