default search action
FME 2002: Copenhagen, Denmark
- Lars-Henrik Eriksson, Peter A. Lindsay:
FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings. Lecture Notes in Computer Science 2391, Springer 2002, ISBN 3-540-43928-5 - Natarajan Shankar:
Little Engines of Proof. 1-20 - Bruno Legeard, Fabien Peureux, Mark Utting
:
Automated Boundary Testing from Z and B. 21-40 - Gil Ratsaby, Baruch Sterin, Shmuel Ur:
Improvements in Coverability Analysis. 41-56 - Juan C. Burguillo-Rial
Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study. 57-76 - Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko:
UniTesK Test Suite Architecture. 77-88 - David von Oheimb, Tobias Nipkow:
Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited. 89-105 - Juan Bicarregui
Do Not Read This. 106-125 - Niels Jørgensen:
Safeness of Make-Based Incremental Recompilation. 126-145 - Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal:
An Algorithmic Approach to Design Exploration. 146-162 - Alexandre Mota, Paulo Borba, Augusto Sampaio:
Mechanical Abstraction of CSPZ Processes. 163-183 - Thomas Arts, Clara Benac Earle, John Derrick:
Verifying Erlang Code: A Resource Locker Case-Study. 184-203 - Michael Huber, Steve King:
Towards an Integrated Model Checker for Railway Signalling Data. 204-223 - Anthony Hall:
Correctness by Construction: Integrating Formality into a Commercial Development Process. 224-233 - Darko Marinov, Sarfraz Khurshid:
VAlloy - Virtual Functions Meet a Relational Language. 234-251 - Vlad Rusu:
Verification Using Test Generation Techniques. 252-271 - Néstor Cataño
Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java. 272-289 - Ludovic Casset:
Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods. 290-309 - Michael Backes, Christian Jacobi, Birgit Pfitzmann:
Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. 310-329 - Claus Pahl:
Interference Analysis for Dependable Systems Using Refinement and Abstraction. 330-349 - Neil Henderson, Stephen Paynter:
The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism. 350-369 - Colin J. Fidge
Timing Analysis of Assembler Code Control-Flow Paths. 370-389 - María Victoria Cengarle, Alexander Knapp:
Towards OCL/RT. 390-409 - Hubert Garavel, Holger Hermanns:
On Combining Functional Verification and Performance Evaluation Using CADP. 410-429 - David A. Basin:
The Next 700 Synthesis Calculi. 430 - Michael W. Whalen, Johann Schumann, Bernd Fischer:
Synthesizing Certified Code. 431-450 - Augusto Sampaio, Jim Woodcock
Refinement in Circus. 451-470 - Ana Cavalcanti, David A. Naumann:
Forward Simulation for Data Refinement of Classes. 471-490 - Luke Wildman:
A Formal Basis for a Program Compilation Proof Tool. 491-510 - Thomas Firley, Ursula Goltz:
Property Dependent Abstraction of Control Structure for Software Verification. 511-530 - Natalia Ioustinova, Natalia Sidorova, Martin Steffen:
Closing Open SDL-Systems for Model Checking with DTSpin. 531-548 - Lars Michael Kristensen, Thomas Mailund:
A Generalised Sweep-Line Method for Safety Properties. 549-567 - Helen Treharne:
Supplementing a UML Development Process with B. 568-586 - Jin Song Dong, Jing Sun, Hai H. Wang:
Semantic Web for Extending and Linking Formalisms. 587-606 - Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto
A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels. 607-624
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-06 23:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: