Sciweavers

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

7

TACAS
2005
Springer

favoriteEmaildiscussreport

105views Algorithms» more TACAS 2005»

Using Language Inference to Verify Omega-Regular Properties

13 years 10 months ago

Using Language Inference to Verify Omega-Regular Properties

Download osl.cs.uiuc.edu

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu

Real-time Traffic

Algorithms | TACAS 2005 |

claim paper

Related Content

» On Convergence of Concurrent Systems under Regular Interactions

» Learning to verify branching time properties

» Verifying safety properties of concurrent Java programs using 3valued logic

» Verifying safety properties using separation and heterogeneous abstractions

» History Effects and Verification

» A HighLevel Language for Modeling Algorithms and Their Properties

» Verifying properties of process definitions

» Verifying eventdriven programs using ramified frame properties

» Precise and Automated Contractbased Reasoning for Verification and Certification of Inform...

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	TACAS
Authors	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha

Comments (0)