Segui
Michael Butler
Michael Butler
Professor of Computer Science, University of Southampton
Email verificata su ecs.soton.ac.uk - Home page
Titolo
Citata da
Citata da
Anno
ProB: A model checker for B
M Leuschel, M Butler
FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003
8772003
Rodin: an open toolset for modelling and reasoning in Event-B
JR Abrial, M Butler, S Hallerstede, TS Hoang, F Mehta, L Voisin
International journal on software tools for technology transfer 12, 447-466, 2010
7952010
ProB: an automated analysis toolset for the B method
M Leuschel, M Butler
International Journal on Software Tools for Technology Transfer 10, 185-203, 2008
5312008
UML-B: Formal modeling and design aided by UML
C Snook, M Butler
ACM Transactions on Software Engineering and Methodology (TOSEM) 15 (1), 92-122, 2006
4462006
An open extensible tool environment for Event-B
JR Abrial, M Butler, S Hallerstede, L Voisin
Formal Methods and Software Engineering: 8th International Conference on …, 2006
2812006
An operational semantics for StAC, a language for modelling long-running business transactions
M Butler, C Ferreira
International Conference on Coordination Languages and Models, 87-104, 2004
2002004
A trace semantics for long-running transactions
M Butler, T Hoare, C Ferreira
Communicating Sequential Processes. The First 25 Years: Symposium on the …, 2005
1962005
Decomposition structures for Event-B
M Butler
International Conference on Integrated Formal Methods, 20-38, 2009
1912009
Thai Son Hoang, Farhad Mehta, and Laurent Voisin. Rodin: an open toolset for modelling and reasoning in Event-B
JR Abrial, M Butler, S Hallerstede
International journal on software tools for technology transfer 12 (6), 447-466, 2010
1792010
Combining CSP and B for specification and property verification
M Butler, M Leuschel
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
1592005
csp2B: A practical approach to combining CSP and B
M Butler
Formal Aspects of computing 12, 182-198, 2000
1362000
UML-B and Event-B: an integration of languages and tools
C Snook, M Butler
1142008
An approach to the design of distributed systems with B AMN
M Butler
International Conference of Z Users, 221-241, 1997
1141997
Practical theory extension in Event-B
M Butler, I Maamria
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013
1102013
A CSP approach to action systems
MJ Butler
University of Oxford, 1992
1091992
Roadmap for enhanced languages and methods to aid verification
GT Leavens, JR Abrial, D Batory, M Butler, A Coglio, K Fisler, E Hehner, ...
Proceedings of the 5th international conference on Generative programming …, 2006
1062006
An incremental development of the Mondex system in Event-B
M Butler, D Yadav
Formal Aspects of Computing 20, 61-77, 2008
1042008
Stepwise refinement of communicating systems
MJ Butler
Science of Computer programming 27 (2), 139-173, 1996
1021996
Decomposition tool for event‐B
R Silva, C Pascal, TS Hoang, M Butler
Software: Practice and Experience 41 (2), 199-208, 2011
1012011
Core hybrid Event-B I: single hybrid Event-B machines
R Banach, M Butler, S Qin, N Verma, H Zhu
Science of Computer Programming 105, 92-123, 2015
992015
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20