Buscar
Mostrando ítems 11-13 de 13
Proving Safety Properties of Rewrite Theories
(Springer, 2011)
Rewrite theories are a general and expressive formalism for specifying concurrent systems in which states are axiomatized by equations and transitions among states are axiomatized by rewrite rules. We present a deductive ...
Order-Sorted Equality Enrichments Modulo Axioms
(Springer, 2012)
Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic specifications ...
Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots
(Springer Nature, 2017)
Today’s autonomous robots are being used for complex tasks, including space exploration, military applications, and precision agriculture. As the complexity of control architectures increases, reliability of autonomous ...