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.

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
Highly dependable concurrent programming using design for verification: Label: en
Are the logical foundations of verifying compiler prototypes matching user expectations?: Label: en
Code-carrying theories: Label: en
Interactive tool support for CSP \(\parallel\) B consistency checking: Label: en
Responsiveness and stable revivals: Label: en
Generalised multi-pattern-based verification of programs with linear linked structures: Label: en
Predicate diagrams for the verification of real-time systems: Label: en
Program verification with interacting analysis plugins: Label: en
Proof producing synthesis of arithmetic and cryptographic hardware: Label: en
Verification of clock synchronization algorithms: experiments on a combination of deductive tools: Label: en
Real time process algebra: Label: en
Optimizing sorting algorithms by using sorting networks: Label: en
A program analysis framework for \textit{tccp} based on abstract interpretation: Label: en
Assumption propagation through annotated programs: Label: en
Transforming Boolean equalities into constraints: Label: en
Operational semantics of resolution and productivity in Horn clause logic: Label: en
Equational formulas and pattern operations in initial order-sorted algebras: Label: en
On dual programs in co-logic programming and the Horn \({\mu}\)-calculus: Label: en
Proof checking and logic programming: Label: en