Verification and Behavioral Synthesis of Agent-Based Systems
In this work we explore the FVS language as a formalism to express, validate and synthesize behavior in the agent-based systems' world. Recent work relates Behavioral Synthesis with agent-based systems, opening the possibility for formalisms in the formal veri cation area to make an impact in t...
Guardado en:
| Autores principales: | Asteasuain, Fernando, D'Angiolo, Federico, Dubinsky, Manuel, Gamboa, Pablo Daniel |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/114922 http://49jaiio.sadio.org.ar/pdfs/asai/ASAI-08.pdf |
| Aporte de: |
Ejemplares similares
-
Addressing the state explosion problem for big data systems formal verification
por: Asteasuain, Fernando
Publicado: (2023) -
Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
por: Asteasuain, Fernando, et al.
Publicado: (2018) -
A dataflow analysis to improve SAT-based bounded program verification
por: Cuervo Parrino, B., et al. -
A dataflow analysis to improve SAT-based bounded program verification
por: Galeotti, Juan Pablo, et al.
Publicado: (2011) -
A Parallel Tableau Algorithm for BIG DATA Verification
por: Asteasuain, Fernando, et al.
Publicado: (2020)