Result 1 to 20 of 184 total
Validating B,Z and TLA$^{ + }$ using ProB and Kodkod. (English)
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 372-386 (2012).
1
Translating TLA$^{ + }$ to B for validation with prob. (English)
Derrick, John (ed.) et al., Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30728-7/pbk). Lecture Notes in Computer Science 7321, 24-38 (2012).
2
Abstract state machines, Alloy, B, VDM, and Z. Third international conference, ABZ 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. (English)
Lecture Notes in Computer Science 7316. Berlin: Springer (ISBN 978-3-642-30884-0/pbk). xv, 378~p. EUR~57.78 (2012).
3
Experiments in program verification using Event-B. (English)
Formal Asp. Comput. 24, No. 1, 97-125 (2012).
4
Static slicing of explicitly synchronized languages. (English)
Inf. Comput. 214, 10-46 (2012).
5
Automated property verification for large scale B models with ProB. (English)
Formal Asp. Comput. 23, No. 6, 683-709 (2011).
6
On fitting a formal method into practice. (English)
Qin, Shengchao (ed.) et al., Formal methods and software engineering. 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24558-9/pbk). Lecture Notes in Computer Science 6991, 195-210 (2011).
7
Constraint-based deadlock checking of high-level specifications. (English)
Theory Pract. Log. Program. 11, No. 4-5, 767-782 (2011).
8
Special issue: Integrated formal methods (iFM09). Selected papers based on the presentations at the 7th international conference, Düsseldorf, Germany, February 16‒19, 2009. (English)
Sci. Comput. Program. 76, No. 10, 835-967 (2011).
9
Automatic flow analysis for event-B. (English)
Giannakopoulou, Dimitra (ed.) et al., Fundamental approaches to software engineering. 14th international conference, FASE 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19810-6/pbk). Lecture Notes in Computer Science 6603, 50-64 (2011).
10
Developing Camille, a text editor for Rodin. (English)
Softw., Pract. Exper. 41, No. 2, 189-198 (2011).
11
Directed model checking for B: an evaluation and new techniques. (English)
Davies, Jim (ed.) et al., Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8‒11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19828-1/pbk). Lecture Notes in Computer Science 6527, 1-16 (2011).
12
Developing camille, a text editor for rodin (English)
Softw., Pract. Exper. 41, No. 2, 189-198 (2011).
13
On Fitting a formal method into practice (English)
ICFEM, 195-210 (2011).
14
Allocation removal by partial evaluation in a tracing JIT (English)
PEPM, 43-52 (2011).
15
Automatic flow analysis for event-B (English)
FASE, 50-64 (2011).
16
Efficient approximate verification of B and Z models via symmetry markers. (English)
Ann. Math. Artif. Intell. 59, No. 1, 81-106 (2010).
17
Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4‒6, 2009. Revised selected papers. (English)
Lecture Notes in Computer Science 6286. Berlin: Springer (ISBN 978-3-642-17070-6/pbk). x, 339~p. EUR~57.78 (2010).
18
Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more. (English)
Int. J. Softw. Tools Technol. Transf. 12, No. 1, 9-21 (2010).
19
An approach of requirements tracing in formal refinement. (English)
Leavens, Gary T. (ed.) et al., Verified software: theories, tools, experiments. Third international conference, VSTTE 2010, Edinburgh, UK, August 16‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15056-2/pbk). Lecture Notes in Computer Science 6217, 97-111 (2010).
20
Result 1 to 20 of 184 total
Start
Contact
Print
General Help
