Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

Kaki: efficient concurrent update synthesis for SDN: Label: en
Bit-vector typestate analysis: Label: en
Formal specification and verification of JDK's identity hash map implementation: Label: en
Introduction to the special collection from iFM 2022: Label: en
Compositional analysis of probabilistic timed graph transformation systems: Label: en
Termination and expressiveness of execution strategies for networks of bidirectional model transformations: Label: en
Introduction to the special collection from FASE 2021: Label: en
Book review of: T. Nipkow (ed.), Functional data structures and algorithms. A proof assistant approach: Label: en
On lexicographic proof rules for probabilistic termination: Label: en
Mechanised operational reasoning for C11 programs with relaxed dependencies: Label: en
From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers: Label: en
Compositional reasoning for non-multicopy atomic architectures: Label: en
Identifying overly restrictive matching patterns in SMT-based program verifiers (extended version): Label: en
Introduction to the special Section on FM 2021: Label: en
A deep reinforcement learning framework with formal verification: Label: en
Compositional verification of railway interlocking systems: Label: en
A refinement-based formal development of cyber-physical railway signalling systems: Label: en
A case in point: verification and testing of a EULYNX interface: Label: en
Introduction to the special Section on reliability, safety, and security of railway systems: Label: en
A Survey of Practical Formal Methods for Security: Label: en
Algebra-Based Reasoning for Loop Synthesis: Label: en
Tight Error Analysis in Fixed-point Arithmetic: Label: en
Introduction to the Special Section on iFM 2020: Label: en
Review of Formal Methods: An Appetizer: Label: en
Principles of Abstract Interpretation: Label: en
Probabilistic Bigraphs: Label: en
Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover: Label: en
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring: Label: en
A Debugging Game for Probabilistic Models: Label: en
The Development and Deployment of Formal Methods in the UK: Label: en
Review of Logical Analysis of Hybrid Systems: Label: en
Review of Understanding Programming Languages: Label: en
Review on Theories of Programming: The Life and Works of Tony Hoare: Label: en
Slicing programs in the presence of errors: Label: en
A tactic calculus. --- Abridged version: Label: en
Invariants and closures in the theory of rewrite systems: Label: en
Specification and correctness proof of a WAM extension with abstract type constraints: Label: en
Proof systems for message-passing process algebras: Label: en
Real-time refinement in Manna and Pnueli's temporal logic: Label: en
Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties: Label: en
Interface synthesis and protocol conversion: Label: en
Integrating a formal method into a software engineering process with UML and Java: Label: en
Streamlining progress-based derivations of concurrent programs: Label: en
Editorial: Label: en
Editorial: Label: en
Editorial: Label: en
Specification and verification challenges for sequential object-oriented programs: Label: en
A mini challenge: build a verifiable filesystem: Label: en
On assertion-based encapsulation for object invariants and simulations: Label: en
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems: Label: en