[Concurrency] Temporal logic formula conflict detection
This is a multi-part message in MIME format.
–===============0953615353==
Content-class: urn:content-classes:message
Content-Type: multipart/alternative;
boundary=”—-_=_NextPart_001_01C95AD2.B0C29F89″
This is a multi-part message in MIME format.
——_=_NextPart_001_01C95AD2.B0C29F89
Content-Type: text/plain;
charset=”us-ascii”
Content-Transfer-Encoding: quoted-printable
Hello,
=20
I would like to ask if you are aware of some research work regarding
conflict detection between properties that are written as temporal logic
formula.
=20
I need to decide whether formula A and B are in conflict i.e. there does
not […]