A Logical Approach to Data-Aware Automated Sequence Generation

DOI10.1007/978-3-642-28525-7_7zbMath1350.68247OpenAlexW174591770MaRDI QIDQ2889859

Rudy Deca, Roger Villemaire, Omar Cherkaoui, Sylvain Hallé

Publication date: 8 June 2012

Published in: Transactions on Computational Science XV (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28525-7_7

Mathematics Subject Classification ID

Logic in computer science (03B70) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of data (68P99) Algorithms on strings (68W32)

Uses Software

• Alloy
• SPIN
• NuSMV
• Mace4
• TestEra
• SPOT
• Alcoa

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Finite model theory and its applications.
• Modal languages and bounded fragments of predicate logic
• Loosely guarded fragment of first-order logic has the finite model property
• Rule Systems for Run-time Monitoring: from EAGLE to RULER
• Hardware Specification with Temporal Logic: An Example
• On the Restraining Power of Guards
• Model Checking Quantified Computation Tree Logic
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: A Logical Approach to Data-Aware Automated Sequence Generation