7 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.SE2015★ 6 cited
Towards Enabling Overture as a Platform for Formal Notation IDEs
Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagić +3
Formal Methods tools will never have as many users as tools for popular programming languages and so the effort spent on constructing Integrated Development Environments (IDEs) wil…
cs.SE2014★ 7 cited
Towards Verification of Constituent Systems through Automated Proof
Luis Diogo Couto, Simon Foster, Richard Payne
This paper explores verification of constituent systems within the context of the Symphony tool platform for Systems of Systems (SoS). Our SoS modelling language, CML, supports var…