µCRL: A Toolset for Analysing Algebraic Specifications (English)
Free access
- New search for: Blom, Stefan
- New search for: Fokkink, Wan
- New search for: Groote, Jan Friso
- New search for: Langevelde, Izak
- New search for: Lisser, Bert
- New search for: Pol, Jaco
- New search for: Blom, Stefan
- New search for: Fokkink, Wan
- New search for: Groote, Jan Friso
- New search for: Langevelde, Izak
- New search for: Lisser, Bert
- New search for: Pol, Jaco
In:
Computer Aided Verification
8
;
250-254
;
2001
-
ISSN:
- Article/Chapter (Book) / Electronic Resource
-
Title:µCRL: A Toolset for Analysing Algebraic Specifications
-
Contributors:Blom, Stefan ( author ) / Fokkink, Wan ( author ) / Groote, Jan Friso ( author ) / Langevelde, Izak ( author ) / Lisser, Bert ( author ) / Pol, Jaco ( author )
-
Published in:Computer Aided Verification , 8 ; 250-254Lecture Notes in Computer Science ; 2102, 8 ; 250-254
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2001-01-01
-
Size:5 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
-
Software Documentation and the Verification ProcessParnas, David Lorge et al. | 2001
- 2
-
Certifying Model CheckersNamjoshi, Kedar S. et al. | 2001
- 14
-
Formalizing a JVML Verifier for Initialization in a Theorem ProverBertot, Yves et al. | 2001
- 25
-
Automated Inductive Verification of Parameterized Protocols?Roychoudhury, Abhik / Ramakrishnan, I.V. et al. | 2001
- 38
-
Efficient Model Checking Via Büchi Tableau Automata?Bhat, Girish S. / Cleaveland, Rance / Groce, Alex et al. | 2001
- 53
-
Fast LTL to Büchi Automata TranslationGastin, Paul / Oddoux, Denis et al. | 2001
- 66
-
A Practical Approach to Coverage in Model CheckingChockler, Hana / Kupferman, Orna / Kurshan, Robert P. / Vardi, Moshe Y. et al. | 2001
- 79
-
A Fast Bisimulation AlgorithmDovier, Agostino / Piazza, Carla / Policriti, Alberto et al. | 2001
- 91
-
Symmetry and Reduced Symmetry in Model Checking?Sistla, A. Prasad / Godefroid, Patrice et al. | 2001
- 104
-
Transformation-Based Verification Using Generalized RetimingKuehlmann, Andreas / Baumgartner, Jason et al. | 2001
- 118
-
Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean FunctionsCabodi, Gianpiero et al. | 2001
- 131
-
CLEVER: Divide and Conquer Combinational Logic Equivalence VERification with False Negative EliminationMoondanos, John / Seger, Carl H. / Hanna, Ziyad / Kaiss, Daher et al. | 2001
- 144
-
Finite Instantiations in Equivalence Logic with Uninterpreted FunctionsRodeh, Yoav / Shtrichman, Ofer et al. | 2001
- 155
-
Model Checking with Formula-Dependent Abstract ModelsAsteroth, Alexander / Baier, Christel / A*Bmann, Ulrich et al. | 2001
- 169
-
Verifying Network Protocol Implementations by Symbolic Refinement CheckingAlur, Rajeev / Wang, Bow-Yaw et al. | 2001
- 182
-
Automatic Abstraction for Verification of Timed Circuits and Systems?Zheng, Hao / Mercer, Eric / Myers, Chris et al. | 2001
- 194
-
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM?Kwiatkowska, Marta / Norman, Gethin / Segala, Roberto et al. | 2001
- 207
-
Analysis of Recursive State MachinesAlur, Rajeev / Etessami, Kousha / Yannakakis, Mihalis et al. | 2001
- 221
-
Parameterized Verification with Automatically Computed Inductive Assertions?Arons, Tamarah / Pnueli, Amir / Ruah, Sitvanit / Xu, Ying / Zuck, Lenore et al. | 2001
- 235
-
EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative TransformationsVelev, Miroslav N. / Bryant, Randal E. et al. | 2001
- 241
-
AGVI — Automatic Generation, Verification, and Implementation of Security ProtocolsSong, Dawn / Perrig, Adrian / Phan, Doantam et al. | 2001
- 246
-
ICS: Integrated Canonizer and Solver?Filliâtre, Jean-Christophe / Owre, Sam / Rue*B, Harald / Shankar, Natarajan et al. | 2001
- 250
-
µCRL: A Toolset for Analysing Algebraic SpecificationsBlom, Stefan / Fokkink, Wan / Groote, Jan Friso / Langevelde, Izak / Lisser, Bert / Pol, Jaco et al. | 2001
- 255
-
Truth/SLC — A Parallel Verification Platform for Concurrent SystemsLeucker, Martin / Noll, Thomas et al. | 2001
- 260
-
The SLAM ToolkitBall, Thomas / Rajamani, Sriram K. et al. | 2001
- 265
-
Java Bytecode Verification: An OverviewLeroy, Xavier et al. | 2001
- 286
-
Iterating TransducersDams, Dennis / Lakhnech, Yassine / Steffen, Martin et al. | 2001
- 298
-
Attacking Symbolic State ExplosionDelzanno, Giorgio / Raskin, Jean-François / Begin, Laurent et al. | 2001
- 311
-
A Unifying Model Checking Approach for Safety Properties of Parameterized SystemsMaidl, Monika et al. | 2001
- 324
-
A BDD-Based Model Checker for Recursive ProgramsEsparza, Javier / Schwoon, Stefan et al. | 2001
- 337
-
Model Checking the World Wide Web?Alfaro, Luca et al. | 2001
- 350
-
Distributed Symbolic Model Checking for μ-CalculusGrumberg, Orna / Heyman, Tamir / Schuster, Assaf et al. | 2001
- 363
-
The Temporal Logic SugarBeer, Ilan / Ben-David, Shoham / Eisner, Cindy / Fisman, Dana / Gringauze, Anna / Rodeh, Yoav et al. | 2001
- 368
-
TReX: A Tool for Reachability Analysis of Complex SystemsAnnichini, Aurore / Bouajjani, Ahmed / Sighireanu, Mihaela et al. | 2001
- 373
-
BOOSTER: Speeding Up RTL Property Checking of Digital Designs by Word-Level AbstractionJohannsen, Peer et al. | 2001
- 378
-
SDLcheck: A Model Checking ToolLevin, Vladimir / Yenigün, Hüsnü et al. | 2001
- 382
-
EASN: Integrating ASN.1 and Model CheckingShanbhag, Vivek K. / Gopinath, K. / Turunen, Markku / Ahtiainen, Ari / Luukkainen, Matti et al. | 2001
- 387
-
Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing DiagramsAmla, Nina / Emerson, E. Allen / Kurshan, Robert P. / Namjoshi, Kedar et al. | 2001
- 391
-
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems?Closse, Etienne / Poize, Michel / Pulou, Jacques / Sifakis, Joseph / Venter, Patrick / Weil, Daniel / Yovine, Sergio et al. | 2001
- 396
-
Microarchitecture Verification by Compositional Model CheckingJhala1, Ranjit / McMillan, Kenneth L. et al. | 2001
- 411
-
Rewriting for Symbolic Execution of State Machine ModelsStrother Moore, J. et al. | 2001
- 423
-
Using Timestamping and History Variables to Verify Sequential ConsistencyArons, Tamarah et al. | 2001
- 436
-
Benefits of Bounded Model Checking at an Industrial SettingCopty, Fady / Fix, Limor / Fraer, Ranan / Giunchiglia, Enrico / Kamhi, Gila / Tacchella, Armando / Vardi, Moshe Y. et al. | 2001
- 454
-
Finding Bugs in an Alpha Microprocessor Using Satisfiability SolversBjesse, Per / Leonard, Tim / Mokkedem, Abdel et al. | 2001
- 465
-
Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2m)Morioka, Sumio / Katayama, Yasunao / Yamane, Toshiyuki et al. | 2001
- 478
-
Job-Shop Scheduling Using Timed Automata?Abdeddaïm, Yasmina / Maler, Oded et al. | 2001
- 493
-
As Cheap as Possible: Effcient Cost-Optimal Reachability for Priced Timed AutomataLarsen, Kim / Behrmann, Gerd / Brinksma, Ed / Fehnker, Ansgar / Hune, Thomas / Pettersson, Paul / Romijn, Judi et al. | 2001
- 506
-
Binary Reachability Analysis of Pushdown Timed Automata with Dense ClocksDang, Zhe et al. | 2001