Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
UPPAAL—a tool suite for automatic verification of real-time systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
CSP-OZ: a combination of object-Z and CSP
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
ICSE 99 workshop on software engineering over the Internet
Proceedings of the 21st international conference on Software engineering
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Program Development by Specification and Transformation: A Methodology Language Family System
Program Development by Specification and Transformation: A Methodology Language Family System
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Multiparadigm Specification Languages: A First Attempt at Foundations
Proceedings of the International Workshop on Semantics of Specification Languages (SoSL)
Static semantic analysis and theorem proving for CASL
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Combining and representing logical systems using model-theoretic parchments
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Translationg OBJ3 into CASL: The Institution Level
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Using Limits of Parchment to Systematically Construct Institutions of partial Algebras
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Moving Between Logical Systems
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Permissive Subsorted Partial Logic in CASL
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Deadlock Analysis for a Fault-Tolerant System
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Combining Methods for the Livelock Analysis of a Fault-Tolerant System
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Combining CSP and Object-Z: Finite or Infinite Trace Semantics?
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
A Structure Preserving Encoding of Z in Isabelle/HOL
TPHOLs '96 Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
CoFI: The Common Framework Initiative for Algebraic Specification and Development
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
MOBY/PLC - Graphical Development of PLC-Automata
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
From Testing Theory to Test Driver Implementation
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Test Automation for Safety-Critical Systems: Industrial Application and Future Developments
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Correct and User-Friendly Implementations of Transformation Systems
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
A Corrected Failure Divergence Model for CSP in Isabelle/HOL
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
The UniForM WorkBench - A Higher Order Tool Integration Framework
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
UniForM Perspectives for Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Using Concurrent Haskell to Develop Views over an Active Repository
IFL '97 Selected Papers from the 9th International Workshop on Implementation of Functional Languages
PLC-Automata: A New Class of Implementable Real-Time Automata
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
Combining and Representing Logical Systems
CTCS '97 Proceedings of the 7th International Conference on Category Theory and Computer Science
A Survivable Avionics System for Space Applications
FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
PROSPER - An Investigation into Software Architecture for Embedded Proof Engines
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL
Model Checking and Artificial Intelligence
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Relaxation Refinement: A New Method to Generate Heuristic Functions
Model Checking and Artificial Intelligence
Transition-Based Directed Model Checking
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
The Causal Graph Revisited for Directed Model Checking
SAS '09 Proceedings of the 16th International Symposium on Static Analysis
Context-enhanced directed model checking
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Abstractions and pattern databases: the quest for succinctness and accuracy
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Spatio-temporal model checking for mobile real-time systems
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Directed model checking with distance-preserving abstractions
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Adapting an AI planning heuristic for directed model checking
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Mcta: heuristics and search for timed systems
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
Hi-index | 0.00 |
The UniForM Workbench supports combination of Formal Methods (on a solid logical foundation), provides tools for the development of hybrid, real-time or reactive systems, transformation, verification, validation and testing. Moreover, it comprises a universal framework for the integration of methods and tools in a common development environment. Several industrial case studies are described.