SCICO (@scico_journal) 's Twitter Profile
SCICO

@scico_journal

Science of Computer Programming is dedicated to the distribution of research results in the areas of software systems development, use and maintenance.

ID: 1353278896859471872

linkhttps://www.journals.elsevier.com/science-of-computer-programming calendar_today24-01-2021 09:50:21

323 Tweet

254 Takipçi

46 Takip Edilen

SCICO (@scico_journal) 's Twitter Profile Photo
SCICO
@scico_journal

9 months ago

Xu et al. introduce CAN-Verify to enhance the development and analysis of BDI agents programmed in the Conceptual Agent Notation (Can) language. It can detect syntactic errors before agent execution, interpret agents, and perform model-checking. doi.org/10.1016/j.scic…