Conferences in DBLP
Natarajan Shankar Little Engines of Proof. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Legeard , Fabien Peureux , Mark Utting Automated Boundary Testing from Z and B. [Citation Graph (0, 0)][DBLP ] Conf ] Gil Ratsaby , Baruch Sterin , Shmuel Ur Improvements in Coverability Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Juan C. Burguillo-Rial , Manuel J. Fernández Iglesias , Francisco J. González-Castaño , Martín Llamas Nistal Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Igor B. Bourdonov , Alexander Kossatchev , Victor V. Kuliamin , Alexandre Petrenko UniTesK Test Suite Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] David von Oheimb , Tobias Nipkow Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Bicarregui Do Not Read This. [Citation Graph (0, 0)][DBLP ] Conf ] Niels Jørgensen Safeness of Make-Based Incremental Recompilation. [Citation Graph (0, 0)][DBLP ] Conf ] Sharon Barner , Shoham Ben-David , Anna Gringauze , Baruch Sterin , Yaron Wolfsthal An Algorithmic Approach to Design Exploration. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Mota , Paulo Borba , Augusto Sampaio Mechanical Abstraction of CSPZ Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Arts , Clara Benac Earle , John Derrick Verifying Erlang Code: A Resource Locker Case-Study. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Huber , Steve King Towards an Integrated Model Checker for Railway Signalling Data. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony Hall Correctness by Construction: Integrating Formality into a Commercial Development Process. [Citation Graph (0, 0)][DBLP ] Conf ] Darko Marinov , Sarfraz Khurshid VAlloy - Virtual Functions Meet a Relational Language. [Citation Graph (0, 0)][DBLP ] Conf ] Vlad Rusu Verification Using Test Generation Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Néstor Cataño , Marieke Huisman Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java. [Citation Graph (0, 0)][DBLP ] Conf ] Ludovic Casset Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Backes , Christian Jacobi 0002 , Birgit Pfitzmann Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. [Citation Graph (0, 0)][DBLP ] Conf ] Claus Pahl Interference Analysis for Dependable Systems Using Refinement and Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Neil Henderson , Stephen Paynter The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism. [Citation Graph (0, 0)][DBLP ] Conf ] Colin J. Fidge Timing Analysis of Assembler Code Control-Flow Paths. [Citation Graph (0, 0)][DBLP ] Conf ] María Victoria Cengarle , Alexander Knapp Towards OCL/RT. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Garavel , Holger Hermanns On Combining Functional Verification and Performance Evaluation Using CADP. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Basin The Next 700 Synthesis Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Michael W. Whalen , Johann Schumann , Bernd Fischer Synthesizing Certified Code. [Citation Graph (0, 0)][DBLP ] Conf ] Augusto Sampaio , Jim Woodcock , Ana Cavalcanti Refinement in Circus. [Citation Graph (0, 0)][DBLP ] Conf ] Ana Cavalcanti , David A. Naumann Forward Simulation for Data Refinement of Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Luke Wildman A Formal Basis for a Program Compilation Proof Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Firley , Ursula Goltz Property Dependent Abstraction of Control Structure for Software Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Natalia Ioustinova , Natalia Sidorova , Martin Steffen Closing Open SDL-Systems for Model Checking with DTSpin. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Michael Kristensen , Thomas Mailund A Generalised Sweep-Line Method for Safety Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Helen Treharne Supplementing a UML Development Process with B. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Song Dong , Jing Sun , Hai Wang Semantic Web for Extending and Linking Formalisms. [Citation Graph (0, 0)][DBLP ] Conf ] Takaaki Umedu , Yoshiki Terashima , Keiichi Yasumoto , Akio Nakata , Teruo Higashino , Kenichi Taniguchi A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels. [Citation Graph (0, 0)][DBLP ] Conf ] 