Easy Parameterized Verification of Biphase Mark and 8N1 Protocols (English)
Free access
- New search for: Brown, Geoffrey M.
- New search for: Pike, Lee
- New search for: Brown, Geoffrey M.
- New search for: Pike, Lee
In:
Tools and Algorithms for the Construction and Analysis of Systems
2
;
58-72
;
2006
- Article/Chapter (Book) / Electronic Resource
-
Title:Easy Parameterized Verification of Biphase Mark and 8N1 Protocols
-
Contributors:Brown, Geoffrey M. ( author ) / Pike, Lee ( author )
-
Published in:Lecture Notes in Computer Science ; 3920, 2 ; 58-72
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2006-01-01
-
Size:15 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Weighted Pushdown Systems and Trust-Management SystemsJha, Somesh / Schwoon, Stefan / Wang, Hao / Reps, Thomas et al. | 2006
- 27
-
Automatic Verification of Parameterized Data StructuresDeshmukh, Jyotirmoy V. / Emerson, E. Allen / Gupta, Prateek et al. | 2006
- 42
-
Parameterized Verification of π-Calculus SystemsYang, Ping / Basu, Samik / Ramakrishnan, C. R. et al. | 2006
- 58
-
Easy Parameterized Verification of Biphase Mark and 8N1 ProtocolsBrown, Geoffrey M. / Pike, Lee et al. | 2006
- 73
-
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented ProgramsDwyer, Matthew B. / Hatcliff, John / Hoosier, Matthew / Ranganath, Venkatesh / Robby / Wallentine, Todd et al. | 2006
- 90
-
New Metrics for Static Variable Ordering in Decision DiagramsSiminiceanu, Radu I. / Ciardo, Gianfranco et al. | 2006
- 105
-
Widening ROBDDs with Prime ImplicantsKettle, Neil / King, Andy / Strzemecki, Tadeusz et al. | 2006
- 120
-
Efficient Guided Symbolic Reachability Using Reachability ExpressionsThomas, Dina / Chakraborty, Supratik / Pandya, Paritosh et al. | 2006
- 135
-
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic SolverGanai, Malay K / Talupur, Muralidhar / Gupta, Aarti et al. | 2006
- 151
-
SAT-Based Software CertificationChaki, Sagar et al. | 2006
- 167
-
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof AssistantsFontaine, Pascal / Marion, Jean-Yves / Merz, Stephan / Nieto, Leonor Prensa / Tiu, Alwen et al. | 2006
- 182
-
Exploration of the Capabilities of Constraint Programming for Software VerificationCollavizza, Hélène / Rueher, Michel et al. | 2006
- 197
-
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation SystemsKönig, Barbara / Kozioura, Vitali et al. | 2006
- 212
-
Why Waste a Perfectly Good Abstraction?Gurfinkel, Arie / Chechik, Marsha et al. | 2006
- 227
-
Efficient Abstraction Refinement in Interpolation-Based Unbounded Model CheckingLi, Bing / Somenzi, Fabio et al. | 2006
- 242
-
Approximating Predicate Images for Bit-Vector LogicKroening, Daniel / Sharygina, Natasha et al. | 2006
- 257
-
Finitary Winning in ω-Regular GamesChatterjee, Krishnendu / Henzinger, Thomas A. et al. | 2006
- 272
-
Efficient Model Checking for LTL with Partial Order SnapshotsNiebert, Peter / Peled, Doron et al. | 2006
- 287
-
A Local Shape Analysis Based on Separation LogicDistefano, Dino / O’Hearn, Peter W. / Yang, Hongseok et al. | 2006
- 303
-
Compositional Model Extraction for Higher-Order Concurrent ProgramsGhica, D. R. / Murawski, A. S. et al. | 2006
- 318
-
A Region Graph Based Approach to Termination ProofsLeue, Stefan / Wei, Wei et al. | 2006
- 334
-
Verifying Concurrent Message-Passing C Programs with Recursive CallsChaki, S. / Clarke, E. / Kidd, N. / Reps, T. / Touili, T. et al. | 2006
- 350
-
Automata-Based Verification of Programs with Tree UpdatesHabermehl, Peter / Iosif, Radu / Vojnar, Tomas et al. | 2006
- 365
-
An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded FaultsGupta, Atul / Jalote, Pankaj et al. | 2006
- 379
-
Exploiting Traces in Program AnalysisGroce, Alex / Joshi, Rajeev et al. | 2006
- 394
-
Model-Checking Markov Chains in the Presence of UncertaintiesSen, Koushik / Viswanathan, Mahesh / Agha, Gul et al. | 2006
- 411
-
Safety Metric Temporal Logic Is Fully DecidableOuaknine, Joël / Worrell, James et al. | 2006
- 426
-
Simulation-Based Graph SimilaritySokolsky, Oleg / Kannan, Sampath / Lee, Insup et al. | 2006
- 441
-
PRISM: A Tool for Automatic Verification of Probabilistic SystemsHinton, Andrew / Kwiatkowska, Marta / Norman, Gethin / Parker, David et al. | 2006
- 445
-
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space GenerationGaravel, Hubert / Mateescu, Radu / Bergamini, Damien / Curic, Adrian / Descoubes, Nicolas / Joubert, Christophe / Smarandache-Sturm, Irina / Stragier, Gilles et al. | 2006
- 450
-
mcmas: A Model Checker for Multi-agent SystemsLomuscio, Alessio / Raimondi, Franco et al. | 2006
- 455
-
MSCan – A Tool for Analyzing MSC SpecificationsBollig, Benedikt / Kern, Carsten / Schlütter, Markus / Stolz, Volker et al. | 2006
- 459
-
A Practical and Complete Approach to Predicate RefinementJhala, Ranjit / McMillan, K. L. et al. | 2006
- 474
-
Counterexample Driven Refinement for Abstract InterpretationGulavani, Bhargav S. / Rajamani, Sriram K. et al. | 2006
- 489
-
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown SystemsEsparza, Javier / Kiefer, Stefan / Schwoon, Stefan et al. | 2006