Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
The Software Engineering community has identified behavioral specification as one of the main challenges to be addressed for the transference of formal verification techniques such as model checking. In particular, expressivity of the specification language is a key factor, especially when dealing...
Guardado en:
| Autores principales: | Asteasuain, Fernando, Calonge, Federico, Dubinsky, Manuel |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2018
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/73271 |
| Aporte de: |
Ejemplares similares
-
Declaratively building behavior by means of scenario clauses
por: Asteasuain, Fernando, et al.
Publicado: (2016) -
Synthesis of partial behavior models from properties and scenarios
Publicado: (2009) -
Synthesis of partial behavior models from properties and scenarios
por: Uchitel, S., et al. -
Declaratively building behavior by means of scenario clauses
por: Asteasuain, F., et al. -
Verification and Behavioral Synthesis of Agent-Based Systems
por: Asteasuain, Fernando, et al.
Publicado: (2020)