P. Hartel, M. Butler, A. Currie, P. Henderson, M. Leuschel, A. Martin, A. Smith, U. Ultes-Nitsche, and B. Walters. Questions and answers about ten formal methods. In Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy, Jul 1999. http://www.dsse.ecs.soton.ac.uk/techreports/99-1.html. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Infinite State Model Checking Using Partial Evaluation and.. - Leuschel (Correct)
....system, based upon ecce was developed and it was possible to validate the theoretical claims of [11, 10] 3. Apply the system to small to medium sized examples. Very first experiments were carried out in [12, 11, 10] A practical case study was investigated before the start of the project in [1]. These initial, informal experiments underlined the potential of our method and warranted further, more in depth investigations. In [7, 8] further small experiments were conducted on more realistic domain specific languages and specification languages. 4. Study control techniques in inductive ....
P. Hartel, M. Butler, A. Currie, P. Henderson, M. Leuschel, A. Martin, A. Smith, U. UltesNitsche, and B. Walters. Questions and answers about ten formal methods. In S. Gnesi and D. Latella, editors, Proceedings of FMICS'99, pages 179--203, Trento, Italy, July 1999. Extended version as technical report DSSE-TR-99-1, Department of Electronics and Computer Science, University of Southampton.
A B C D - Automated Validation of Business Critical Systems with.. - Group (1999) (Correct)
....Modelling Case Studies We have extensive experience of modelling systems and components from a range of application domains and much of this work was performed in collaboration with UK industry. Significant examples include: work with ICL on process modelling for large1 scale commercial systems [13, 29, 23]; EPSRC funded support for business process modelling and software process improvement (PROCESS GR K08116, CMM45 GR M16610) EU support for the application of business process modelling to Geographical Information Systems and to the Construction industry (GISIP 20.915, CORE 20.777) work funded by ....
....months, the Southampton DSSE team has been applying all of the above expertise in a collective effort in collaboration with ICL. This involved members of the team applying a range of formal methods, including B, CSP, the calculus, Petri Nets, Prolog, Spin and Z, to a system being developed by ICL [23]. The results of this were presented to a group of engineers from ICL who reacted positively and are keen to support further research in the area. Our own experience was that the exercise brought our different skills together and made us realise the potential synergies between the various methods ....
[Article contains additional citation context not shown here]
P. Hartel, M. Butler, A. Currie, P. Henderson, M. Leuschel, A. Martin, A. Smith, U. Ultes-Nitsche, and B. Walters. Questions and answers about ten formal methods. In 4th Int. Workshop on Formal Methods for Industrial Critical Systems, page to appear, Jul 1999.
Abstraction-Based Partial Deduction for Solving Inverse.. - Glück, Leuschel (2000) (Correct)
....(after 2 iterations each of the specialisation and abstract interpretation components of ecce) start(Tr,Processes, X3,X4,s(s(X5) X6,X7] fail. 5 Porting to other Languages and Paradigms We can apply the power of our APD approach, along with its capabilities for inversion and verification [8], to the # calculus by writing an interpreter for it. We have also successfully ported inverse computation to a functional language via an interpreter (omitted from extended abstract) Apart from highlighting the power of our approach, these examples provide further computational evidence for the ....
P. Hartel, M. Butler, A. Currie, P. Henderson, M. Leuschel, A. Martin, A. Smith, U. Ultes-Nitsche, B. Walters. Questions and answers about ten formal methods. In S. Gnesi, D. Latella (eds.) Formal Methods for Industrial Critical Systems, pages 179--203. Trento, Italy, 1999.
Transacted Memory for Smart Card - Hartel, Butler, de Jong, Longley (2000) (1 citation) Self-citation (Hartel Butler) (Correct)
No context found.
P. Hartel, M. Butler, A. Currie, P. Henderson, M. Leuschel, A. Martin, A. Smith, U. Ultes-Nitsche, and B. Walters. Questions and answers about ten formal methods. In S. Gnesi and D. Latella, editors, 4th Int. Workshop on Formal Methods for Industrial Critical Systems, Vol II, pages 179{ 203, Trento, Italy, Jul 1999. ERCIM/CNR, Pisa, Italy. www.dsse.ecs.soton.ac.uk/ techreports/ 99-1.html.
csp2B: A Practical Approach To Combining CSP and B - Michael Butler Department (1999) (18 citations) Self-citation (Butler) (Correct)
No context found.
P. Hartel, M. Butler, A. Currie, P. Henderson, M. Leuschel, A. Martin, A. Smith, U. UltesNitsche, and B. Walters. Questions and answers about ten formal methods. In Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy, Jul 1999. http://www.dsse.ecs.soton.ac.uk/techreports/99-1.html.
Tools for system validation with B - Machines Michael Butler (Correct)
No context found.
P. Hartel, M. Butler, A. Currie, P. Henderson, M. Leuschel, A. Martin, A. Smith, U. Ultes-Nitsche, and B. Walters. Questions and answers about ten formal methods. In Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy, Jul 1999. http://www.dsse.ecs.soton.ac.uk/techreports/99-1.html.
On Verification Modelling of Embedded Systems - Ed Brinksma And (Correct)
No context found.
P. H. Hartel et al. Questions and answers about ten formal methods. In Proceedings of the 4th Int. Workshop on Formal Methods for Industrial Critical Systems, volume II, pages 179 -- 203. ERCIM/CNR, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC