20 citations · 75 across the 15 of their papers we have counts for
8 papers · 1 filter
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
Jose Meseguer
An inductive inference system for proving validity of formulas in the initial algebra of an order-sorted equational theory is presented. It has 20 i…
The Maude strategy language
Steven Eker, Narciso Martí-Oliet, José Meseguer +2
Rewriting logic is a natural and expressive framework for the specification of concurrent systems and logics. The Maude specification language provides an implementation of this fo…
Verification of the IBOS Browser Security Properties in Reachability Logic
Stephen Skeirik, José Meseguer, Camilo Rocha
This paper presents a rewriting logic specification of the Illinois Browser Operating System (IBOS) and defines several security properties, including the same-origin policy (SOP)…
PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude
Kyungmin Bae, Joshua Krisiloff, José Meseguer +1
Distributed cyber-physical systems (DCPS) are pervasive in areas such as aeronautics and ground transportation systems, including the case of distributed hybrid systems. DCPS desig…
Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures
Michael Katelman, José Meseguer
The PALS architecture reduces distributed, real-time asynchronous system design to the design of a synchronous system under reasonable requirements. Assuming logical synchrony lead…
Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control
Mu Sun, José Meseguer
Safety of medical devices and of their interoperation is an unresolved issue causing severe and sometimes deadly accidents for patients with shocking frequency. Formal methods, par…