Conferences in DBLP
Thomas Ball , Byron Cook , Vladimir Levin , Sriram K. Rajamani SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Boulton , Hanne Gottliebsen , Ruth Hardy , Tom Kelsey , Ursula Martin Design Verification for Control Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas F. Melham Integrating Model Checking and Theorem Proving in a Reflective Functional Language. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Woodcock , Ana Cavalcanti A Tutorial Introduction to Designs in Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Bill J. Ellis , Andrew Ireland An Integration of Program Analysis and Automated Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Schneider , Helen Treharne Verifying Controlled Components. [Citation Graph (0, 0)][DBLP ] Conf ] Adalberto Farias , Alexandre Mota , Augusto Sampaio Efficient CSPZ Data Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Sagar Chaki , Edmund M. Clarke , Joël Ouaknine , Natasha Sharygina , Nishant Sinha State/Event-Based Software Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Kirsten Winter Formalising Behaviour Trees with CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Song Dong , Shengchao Qin , Jun Sun Generating MSCs from an Integrated Formal Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Lano , David Clark , Kelly Androutsopoulos UML to B: Formal Verification of Object-Oriented Models. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Beckert , Steffen Schlager Software Verification with Integrated Data Type Refinement for Integer Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Tiberiu Seceleanu , Juha Plosila Constituent Elements of a Correctness-Preserving UML Design Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Xu Wang , A. W. Roscoe , Ranko Lazic Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Möller , Ernst-Rüdiger Olderog , Holger Rasch , Heike Wehrheim Linking CSP-OZ with UML and Java: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Cécile Bui Thanh , Hanna Klaudel Object-Oriented Modelling with High-Level Modular Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriel Ciobanu , Dorel Lucanu Specification and Verification of Synchronizing Concurrent Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Dunne Understanding Object-Z Operations as Generalised Substitutions. [Citation Graph (0, 0)][DBLP ] Conf ] Tim A. C. Willemse Embeddings of Hybrid Automata in Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Geguang Pu , Dang Van Hung , Jifeng He , Wang Yi An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. [Citation Graph (0, 0)][DBLP ] Conf ] Ana Fernández Vilas , José J. Pazos Arias , Rebeca P. Díaz Redondo , Alberto Gil-Solla , Jorge García Duque A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models. [Citation Graph (0, 0)][DBLP ] Conf ] Yifeng Chen , Zhiming Liu Integrating Temporal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Marius C. Bujorianu Integration of Specification Languages Using Viewpoints. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond T. Boute Integrating Formal Methods by Unifying Abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Curzon , Ann Blandford Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Pickin , Jean-Marc Jézéquel Using UML Sequence Diagrams as the Basis for a Formal Test Description Language. [Citation Graph (0, 0)][DBLP ] Conf ] Luke Wildman , Roger Duke , Paul A. Strooper Viewpoint-Based Testing of Concurrent Components. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco José Galán Morillo , José Miguel Cañete Valdeón A Method for Compiling and Executing Expressive Assertions. [Citation Graph (0, 0)][DBLP ] Conf ] 