Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

CADE
2007
Springer

favoriteEmaildiscussreport

154views Logical Reasoning» more CADE 2007»

The Bedwyr System for Model Checking over Syntactic Expressions

14 years 4 months ago

The Bedwyr System for Model Checking over Syntactic Expressions

Download users.rsise.anu.edu.au

David Baelde, Andrew Gacek, Dale Miller, Gopalan N

Real-time Traffic

Automated Reasoning | Bedwyr System | CADE 2007 |

claim paper

Related Content

» Model Checking Freeze LTL over OneCounter Automata

» Model Checking FOR over OneCounter Processes and beyond

» On the consistency expressiveness and precision of partial modeling formalisms

» PDL over Accelerated Labeled Transition Systems

» Model Checking Temporal Logics of Knowledge in Distributed Systems

» Quantifying over coalitions in epistemic logic

» Existential SecondOrder Logic over Strings

» Sentence Simplification for Semantic Role Labeling

» Modal Logic over Higher Dimensional Automata

Post Info
More Details (n/a)

Added	03 Dec 2009
Updated	03 Dec 2009
Type	Conference
Year	2007
Where	CADE
Authors	David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu

Comments (0)