Modelling timed reactive systems from natural-language requirements

DOI10.1007/S00165-016-0387-XzbMath1345.93024OpenAlexW2496251943MaRDI QIDQ315301

Ana Cavalcanti, Augusto Sampaio, Gustavo Carvalho

Publication date: 20 September 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://eprints.whiterose.ac.uk/103139/1/fac.pdf

zbMATH Keywords

formal modelmodel mappingnatural-language requirementsTIOTS

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• APTS
• PVS
• NuSMV
• PAT
• NAT2TEST

Cites Work

• Unnamed Item
• Unnamed Item
• Test generation from state based use case models
• Program synthesis from formal requirements specifications using APTS
• Understanding concurrent systems
• The B-Book
• Formal Approaches to Software Testing

This page was built for publication: Modelling timed reactive systems from natural-language requirements