Search Results - "Model checking algorithm"

Model checking for coalition announcement logic by Алешина, Н.А.

“…This talk is based on joint work with Rustam Galimullin and Hans van Ditmarsh, published in the German Conference on Artificial Intelligence (KI 2018). First I…”
Get full text

Use of Propositional Logic in building AI Logic and Game Development by B N, Arunakumari, Ravikumar, Shreya, Jason, Vikramaditya, Sarika, T A, Adnan, Syed, G, Thippeswamy

“…Logic is the foundation of most computer programming and now is an integral part of the development of New Age Artificial Intelligence. Logic helps AI and ML…”
Get full text

Improved Bounded Model Checking for the Universal Fragment of CTL by Xu, Liang, Chen, Wei, Xu, Yan-Yan, Zhang, Wen-Hui

“…SAT-based bounded model checking (BMC) has been introduced as a complementary technique to BDD-based symbolic model checking in recent years, and a lot of…”
Get full text

Specification and Verification for Semi-Structured Data by Chen, Tao-Lue, Han, Ting-Ting, Lu, Jian

“…Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce…”
Get full text

A Modal Logic for π-Calculus and Model Checking Algorithm by Chen, Taolue, Han, Tingting, Lu, Jian

“…The π-calculus is one of the most important mobile process calculi and has been well studied in the literatures. Temporal logic is thought as a good compromise…”
Get full text

Structure analysis for dynamic software architecture based on spatial logic by Tingting Han, Taolue Chen, Jian Lu

“…The requirement for modifying system structure during system execution is specified by dynamic software architectures. The system architecture style should…”
Get full text

Verifying annotated program families using symbolic game semantics by Dimovski, Aleksandar S.

“…Many software systems are today built as program families. They permit users to derive a custom program (variant) by selecting suitable configuration options…”
Get full text