Programming language, Algorithm, Theoretical computer science, Formal methods and B-Method are his primary areas of study. His work in Operational semantics, Semantics, Correctness, Process calculus and Software development is related to Programming language. Michael Butler interconnects Event and Hybrid system in the investigation of issues within Theoretical computer science.
His research integrates issues of Model checking, Automated theorem proving and Proof theory in his study of Formal methods. As a member of one scientific family, Michael Butler mostly works in the field of Proof theory, focusing on Complex system and, on occasion, Software engineering. His work deals with themes such as UML state machine, Shlaer–Mellor method, Logic programming and Unified Modeling Language, which intersect with B-Method.
Michael Butler focuses on Programming language, Formal methods, Software engineering, Theoretical computer science and Event. As part of his studies on Programming language, Michael Butler often connects relevant areas like Notation. His Formal methods study combines topics in areas such as Formal verification, Mathematical proof, Software development and Systems engineering.
In general Theoretical computer science study, his work on Refinement calculus often relates to the realm of Formalism, thereby connecting several areas of interest. The Event study combines topics in areas such as Distributed computing, Structure, Semantics and Decomposition. His Model checking research is multidisciplinary, relying on both Animation and Automated theorem proving.
Michael Butler mainly focuses on Formal methods, Programming language, Theoretical computer science, Domain and Semantics. His Formal methods study is concerned with Software engineering in general. His work in Programming language tackles topics such as Notation which are related to areas like Window.
The concepts of his Theoretical computer science study are interwoven with issues in Systems design, Mathematical proof and Function. His Domain research includes elements of Control system, Systems theory and Vulnerability. His work in Semantics addresses issues such as Leverage, which are connected to fields such as Formal verification, Temporal logic, Model checking and Invariant.
Formal methods, Formal verification, Systems design, Semantics and Theoretical computer science are his primary areas of study. Michael Butler is interested in B-Method, which is a branch of Formal methods. His study in Formal verification is interdisciplinary in nature, drawing from both Software, Correctness, Software engineering and Embedded system.
His Software engineering research is multidisciplinary, incorporating elements of Formal system and Focus. His Systems design study combines topics from a wide range of disciplines, such as Software deployment, Concurrency, Nondeterministic algorithm, Queue and Scheduling. His work carried out in the field of Semantics brings together such families of science as Window, Property, SCXML and Leverage.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
ProB: A Model Checker for B
Michael Leuschel;Michael J. Butler.
formal methods (2003)
Rodin: an open toolset for modelling and reasoning in Event-B
Jean-Raymond Abrial;Michael Butler;Stefan Hallerstede;Thai Son Hoang.
verified software theories tools experiments (2010)
ProB : an automated analysis toolset for the B method
Michael Leuschel;Michael Butler.
International Journal on Software Tools for Technology Transfer (2008)
UML-B: Formal modeling and design aided by UML
Colin Snook;Michael Butler.
ACM Transactions on Software Engineering and Methodology (2006)
An open extensible tool environment for event-b
Jean-Raymond Abrial;Michael Butler;Stefan Hallerstede;Laurent Voisin.
formal methods (2006)
A trace semantics for long-running transactions
Michael Butler;Tony Hoare;Carla Ferreira.
Lecture Notes in Computer Science (2005)
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
Michael J. Butler;Carla Ferreira.
international conference on coordination models and languages (2004)
Decomposition Structures for Event-B
integrated formal methods (2009)
Combining CSP and b for specification and property verification
Michael Butler;Michael Leuschel.
formal methods (2005)
FM 2011: Formal Methods
Michael Butler;Wolfram Schulte.
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: