Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha  Home/Search
Context
Related
| uiuc.edu/docs/omega/omegaLearn2.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uiuc.edu/people?user=vardhan (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A novel machine learning based approach was proposed recently as a complementary technique to the acceleration based methods for verifying infinite state systems. In this method, the set of states satisfying a fixpoint property is learnt as opposed to being iteratively computed. We extend the machine learning based approach to verifying general #-regular properties that include both safety and liveness. (Update)
Active bibliography (related documents): More All
2.5: Using Language Inference to Verify omega-regular Properties - Vardhan, Sen.. (Correct)
0.8: Liveness Checking as Safety Checking for Infinite State Spaces - Schuppan, Biere (2005) (Correct)
0.7: Actively learning to verify safety for FIFO automata - Vardhan, Sen, Viswanathan.. (2004) (Correct)
Similar documents based on text: More All
0.6: Learning to Verify Safety Properties - Vardhan, Sen, Viswanathan, Agha (2004) (Correct)
0.3: Learning Continuous Time Markov Chains from Sample Executions - Sen, Viswanathan, Agha (Correct)
0.3: Statistical Model Checking of Black-Box Probabilistic Systems - Sen, Viswanathan, Agha (2004) (Correct)
BibTeX entry: (Update)
@misc{ vardhan-using,
author = "Abhay Vardhan and Koushik Sen and Mahesh Viswanathan and Gul Agha",
title = "Using Language Inference to Verify omega-regular Properties",
url = "citeseer.ist.psu.edu/719431.html" }
Citations (may not include all citations):725 Temporal and modal logic (context) - Emerson - 1990
374 Automata on infinite objects (context) - Thomas - 1990
244 Learning regular sets from queries and counterexamples (context) - Angluin - 1987
53 Inferring regular languages in polynomial update time (context) - Oncina, Garcia - 1992
45 Regular model checking - Bouajjani, Jonsson et al. - 2000
40 Transitive closures of regular relations for verifying infin.. - Jonsson, Nilsson - 2000
19 cient model checking in fragments of the propositional mucal.. (context) - Emerson, Lei - 1986
15 Reachability sets of parametrized rings as regular languages - Fribourg, Olsen - 1997
9 Liveness and acceleration in parameterized verification - Pnueli, Shahar - 2000
6 Regular model checking using widening techniques (context) - Touili
5 Abstract regular model checking (context) - Bouajjani, Habermehl et al. - 2004
4 Regular model checking for LTL (context) - Abdulla, Jonsson et al. - 2004
4 Handling liveness properties (context) - Bouajjani, Legay et al. - 2004
4 Learning to verify safety properties - Vardhan, Sen et al. - 2004
3 Regular model checking using inference of regular languages - Habermehl, Vojnar - 2004
2 Actively learning to verify safety for fifo automata - Vardhan, Sen et al. - 2004
Documents on the same site (http://osl.cs.uiuc.edu/people?user=vardhan): More
Decentralized Runtime Analysis of Multithreaded Applications - Sen, Vardhan, Agha, Rosu (Correct)
Using Passive Object Garbage Collection Algorithms for Garbage .. - Vardhan, Agha (2002) (Correct)
Actively learning to verify safety for FIFO automata - Vardhan, Sen, Viswanathan.. (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC