Regular model checking with regular relations

DOI10.1007/978-3-030-86593-1_13OpenAlexW3200738436MaRDI QIDQ2140498

Ashutosh Trivedi, Taylor Dohmen, Shankara Narayanan Krishna, Vrunda Dave

Publication date: 20 May 2022

Full work available at URL: https://arxiv.org/abs/1910.09072

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sur les rélations rationnelles entre monoides libres
• Monadic second-order definable graph transductions: a survey
• Expressiveness of Streaming String Transducers
• On (Omega-)regular model checking
• Regular Transformations of Infinite Strings
• Nondeterministic Streaming String Transducers
• MSO definable string transductions and two-way finite-state transducers
• Regular Model Checking using Widening Techniques
• Why These Automata Types?
• Regular Real Analysis
• An effective decision procedure for linear arithmetic over the integers and reals
• Tools and Algorithms for the Construction and Analysis of Systems
• CONCUR 2004 - Concurrency Theory
• Computer Aided Verification
• Computer Aided Verification
• Computer Aided Verification
• Symbolic model checking with rich assertional languages

This page was built for publication: Regular model checking with regular relations