|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 103 occurrences of 81 keywords
|
|
|
|
|
Results
Found 920 publication records. Showing 920 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ching-Tsun Chou, Doron A. Peled |
Formal Verification of a Partial-Order Reduction Technique for Model Checking.  |
TACAS  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Heyl, Arnulf Mester, Heiko Krumm |
cTc - A Tool Supporting the Construction of cTLA-Specifications. |
TACAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Leslie Lamport |
Managing Proofs (Abstract). |
TACAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hassen Saïdi |
A Tool for Proving Invariance Properties of Concurrent Systems Automatically. |
TACAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi 0001 |
UPPAAL in 1995. |
TACAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelwaheb Ayari, David A. Basin |
Generic System Support for Deductive Program Development. |
TACAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris M. N. Tofts |
Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes. |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelika Mader |
Modal µ-Calculus, Model Checking and Gauß Elimination. |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi |
A User Guide to HyTech. |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi |
Model Checking of Non-Finite State Processes by Finite Approximations. |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen (eds.) |
Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Müller, Tobias Nipkow |
Combining Model Checking and Deduction for I/O-Automata. |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm 0001 |
Mona: Monadic Second-Order Logic in Practice. |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Knoop, Bernhard Steffen, Jürgen Vollmer 0001 |
Parallelism for Free: Bitvector Analyses -> No State Explosion! |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise |
A Constraint Oriented Proof Methodology Based on Modal Transition Systems. |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil Janssen |
Layers as Knowledge Transitions in the Design of Distributed Systems. |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Bohn 0002, Stephan Rössig |
On Automatic and Interactive Design of Communication Systems. |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | A. W. Roscoe 0001, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood |
Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock. |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Uffe Engberg, Kim S. Larsen |
Efficient Simplification of Bisimulation Formulas. |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Eric Madelaine, Steve Sims |
A Front-End Generator for Verification Tools. |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #901 - #920 of 920 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license