|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 11 keywords
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Zuan Zhang |
An approach to hierarchy model checking via evaluating CTL hierarchically.  |
Asian Test Symposium  |
1995 |
DBLP DOI BibTeX RDF |
hierarchy model checking, CTL specifications, computational complexity, formal specification, formal verification, Symbolic Model Checking, formal logic, CTL, logic partitioning, hierarchical systems, Computational Tree Logic, local properties |
| 1 | Rayna Dimitrova, Bernd Finkbeiner |
Synthesis of Fault-Tolerant Distributed Systems. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aniello Murano, Margherita Napoli, Mimmo Parente |
Program Complexity in Hierarchical Module Checking. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, Partha S. Roop, Roopak Sinha |
Local Module Checking for CTL Specifications. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe, Bernd Finkbeiner |
Distributed Synthesis for Alternating-Time Logics. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Samer, Helmut Veith |
Validity of CTL Queries Revisited. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli |
AnWeb: a sytem for automatic support to web application verification. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
web application, computation tree logic |
| 1 | Amir Pnueli, Elad Shahar |
A Platform for Combining Deductive with Algorithmic Verification. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Stephan Merz |
An Abstract Account of Composition. |
MFCS |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")