Coinduction has recently been introduced as a powerful technique for reasoning about
unfounded sets, unbounded structures, and interactive computations. Where induction …

Modeling a cyber-physical system's requirement specifications makes it possible to verify its
properties wrt the expected behavior. Standard modeling approaches based on automata …

Answer Set Programming (ASP) represents an elegant way of introducing non-monotonic
reasoning into logic programming. ASP has gained popularity due to its applications to …

We introduce negation into coinductive logic programming (co-LP) via what we term
Coinductive SLDNF (co-SLDNF) resolution. We present declarative and operational …

A prototype security policy verification system for Action-Script binaries is presented, whose
implementation leverages recent advances in co-logic programming. Our experience with co …

Coinduction has recently been introduced into logic programming by Simon et al. The
resulting paradigm, termed coinductive logic programming (co-LP), allows one to model and …

We model the well-known Train-Gate-Controller (railroad crossing problem) system in Event
Calculus using Goal-Direct Answer Programming realized via the s (CASP) system. Our …

We present a model checker for Linear Temporal Logic using Goal-Directed Answer Set
Programming under Costable model semantics (CoASP). Costable model semantics allows …

Multiprocessors are ubiquitous in today's computing devices ranging from smartphones, IoT
micro-controllers, personal laptops to servers in data centers. Programming multiprocessors …

The formidable growth of the cyber-threat landscape today is accompanied by an imperative
need for providing high-assurance software solutions. In the last decade, binary …