Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha  Home/Search
Context Related
| uiuc.edu/docs/sub2004var...cfsmLearn.ps 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: We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniques. We assume that we are given a model of the system and learn the set of reachable states from a sample set of executions of the system, instead of attempting to iteratively compute the reachable states. The learnt set of reachable states is then used to either prove that the system is safe or to produce a... (Update)
Cited by: More
Using Language Inference to Verify omega-regular Properties - Vardhan, Sen.. (Correct)
Actively learning to verify safety for FIFO automata - Vardhan, Sen, Viswanathan.. (2004) (Correct)
Regular Model Checking Using Inference of Regular Languages - Habermehl, Vojnar (2004) (Correct)
Active bibliography (related documents): More All
0.4: On Flatness for 2-dimensional Vector Addition Systems with States - Leroux, Sutre (2004) (Correct)
0.2: Iterating Transducers in the Large (Extended Abstract) - Boigelot, Legay, Wolper (Correct)
0.2: Jungloid Mining: Helping to Navigate the API Jungle - David Mandelin Lin (Correct)
Similar documents based on text: More All
0.6: Statistical Model Checking of Black-Box Probabilistic Systems - Sen, Viswanathan, Agha (2004) (Correct)
0.4: Learning Continuous Time Markov Chains from Sample Executions - Sen, Viswanathan, Agha (2004) (Correct)
0.3: Decentralized Runtime Analysis of Multithreaded Applications - Sen, Vardhan, Agha, Rosu (Correct)
Related documents from co-citation: More All
4: Inferring regular languages in polynomial update time (context) - et, -- - 1992
4: Regular model checking - Bouajjani, Jonsson et al. - 2000
3: LEVER. Learning to verify tool. http://osl.cs.uiuc.edu/vardhan/lever.html, 2004.
BibTeX entry: (Update)
Vardhan, A., K. Sen, M. Viswanathan and G. Agha, Learning to Verify Safety Properties, in: Proc. of ICFEM'04, 2004, accepted for publication. 12 http://citeseer.ist.psu.edu/vardhan04learning.html More
@misc{ vardhan04learning,
author = "A. Vardhan and K. Sen and M. Viswanathan and G. Agha",
title = "Learning to Verify Safety Properties",
text = "Vardhan, A., K. Sen, M. Viswanathan and G. Agha, Learning to Verify Safety
Properties, in: Proc. of ICFEM'04, 2004, accepted for publication. 12",
year = "2004",
url = "citeseer.ist.psu.edu/vardhan04learning.html" }
Citations (may not include all citations):624 Computer Networks (context) - Tanenbaum - 1989
244 Learning regular sets from queries and counterexamples (context) - Angluin - 1987
197 Transductions and Context-Free-Languages (context) - Berstel - 1979
171 Dynamically discovering likely program invariants to support.. - Ernst, Cockrell et al. - 1999
88 Model checking in CLP - Delzanno, Podelski - 1999
58 Online minimization of transition systems (context) - Lee, Yannakakis - 1992
57 Well-structured transition systems everywhere - Finkel, Schnoebelen - 2001
53 Inferring regular languages in polynomial update time (context) - Oncina, Garcia - 1992
46 Symbolic reachability analysis of FIFO-channel systems with .. - Bouajjani, Habermehl - 1999
45 Regular model checking - Bouajjani, Jonsson et al. - 2000
17 Learning assumptions for compositional verification - Cobleigh, Giannakopoulou et al. - 2003
17 Protocol verification with heuristic search - Edelkamp, Lafuente et al. - 2001
17 Adaptive model checking - Groce, Peled et al. - 2002
16 Incremental regular inference - Dupont - 1996
14 Symbolic Methods for Exploring Infinite State Spaces - Boigelot - 1999
11 Automated symbolic analysis of reactive systems (context) - Bultan - 1998
10 Black box checking - Peled, Vardi et al. - 1999
7 Automatic synthesis of specifications from the dynamic obser.. - Boigelot, Godefroid - 1997
6 Algorithmic improvements in regular model checking - Abdulla, Jonsson et al. - 2003
6 Regular model checking using widening techniques (context) - Touili - 2001
6 Iterating transducers in the large (context) - Boigelot, Legay et al. - 2003
5 Well-abstracted transition systems: Application to FIFO auto.. - Finkel, Iyer et al. - 2003
4 ACM SIGPLAN Notices (context) - Ammons, Bodk et al. - 2002
4 Language indentification in the limit (context) - Gold - 1967
2 Widening arithmetic automata - Bartzis, Bultan - 2004
2 Regular model checking tool (context) - Nilsson - 2004
1 Journal of Logic and Algebraic Programming (context) - Dams, Lakhnech et al. - 2002
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