Model checking merged program traces (2009)
- Authors:
- USP affiliated authors: MELO, ANA CRISTINA VIEIRA DE - IME ; SILVA, PAULO SALEM DA - IME
- Unidade: IME
- DOI: 10.1016/j.entcs.2009.05.047
- Subjects: JAVA; MODELOS DE PROCESSO DE SOFTWARE
- Keywords: model checking; simulation; runtime verification
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Electronic Notes in Theoretical Computer Science
- ISSN: 1571-0661
- Volume/Número/Paginação/Ano: v. 240, p. 97-112, 2009
- Conference titles: Brazilian Symposium on Formal Methods - SBMF
- Este periódico é de acesso aberto
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: gold
- Licença: cc-by-nc-nd
-
ABNT
SILVA, Paulo Salem da e MELO, Ana Cristina Vieira de. Model checking merged program traces. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2009.05.047. Acesso em: 04 maio 2024. , 2009 -
APA
Silva, P. S. da, & Melo, A. C. V. de. (2009). Model checking merged program traces. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2009.05.047 -
NLM
Silva PS da, Melo ACV de. Model checking merged program traces [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 240 97-112.[citado 2024 maio 04 ] Available from: https://doi.org/10.1016/j.entcs.2009.05.047 -
Vancouver
Silva PS da, Melo ACV de. Model checking merged program traces [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 240 97-112.[citado 2024 maio 04 ] Available from: https://doi.org/10.1016/j.entcs.2009.05.047 - On-the-fly verification of discrete event simulations by means of simulation purposes
- Reusing models in multi-agent simulation with software components
- An ontology for mobile agents in the context of formal verification
- A simulation-oriented formalization for a psychological theory
- Verification of behaviourist multi-agent systems by means of formally guided simulations
- Bayesian networks in software maintenance management
- Towards MC/DC coverage of properties specification patterns
- Reusing hardware components with single-state processes
- Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil
- Testing the adherence of enterprise web applications to transactional patterns
Informações sobre o DOI: 10.1016/j.entcs.2009.05.047 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas