|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12246 occurrences of 3747 keywords
|
|
|
Results
Found 21094 publication records. Showing 21094 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
54 | Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer |
Unifying type checking and property checking for low-level code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 302-314, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
assertion checking, low-level code, decision procedure, type checking, smt solver, property checking |
53 | Gerard J. Holzmann, Rajeev Joshi, Alex Groce |
New Challenges in Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years of Model Checking ![In: 25 Years of Model Checking - History, Achievements, Perspectives, pp. 65-76, 2008, Springer, 978-3-540-69849-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Logic model checking, grand challenge project, flash file system challenge, software reliability, software verification, software structure |
53 | E. Allen Emerson |
The Beginning of Model Checking: A Personal Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years of Model Checking ![In: 25 Years of Model Checking - History, Achievements, Perspectives, pp. 27-45, 2008, Springer, 978-3-540-69849-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model-theoretic, origins, model checking, synthesis, history |
52 | Rajeev Alur |
Model Checking: From Tools to Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years of Model Checking ![In: 25 Years of Model Checking - History, Achievements, Perspectives, pp. 89-106, 2008, Springer, 978-3-540-69849-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Matthias Schmalz, Hagen Völzer, Daniele Varacca |
Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 532-543, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Limor Fix |
Fifteen Years of Formal Property Verification in Intel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years of Model Checking ![In: 25 Years of Model Checking - History, Achievements, Perspectives, pp. 139-144, 2008, Springer, 978-3-540-69849-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
formal property verification, Model checking, formal specification |
49 | Randal E. Bryant |
A View from the Engine Room: Computational Support for Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years of Model Checking ![In: 25 Years of Model Checking - History, Achievements, Perspectives, pp. 145-149, 2008, Springer, 978-3-540-69849-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Per Bjesse |
Industrial Model Checking Based on Satisfiability Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 240, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Orna Kupferman, Moshe Y. Vardi |
Module Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings, pp. 75-86, 1996, Springer, 3-540-61474-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
46 | Antti Valmari |
Software model checking is a rich research field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 11(1), pp. 1-11, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Distributed model checking, Directed model checking, Satisfiability, Symbolic execution, Bounded model checking, State space, Partial-order methods |
46 | Tobias Schüle, Klaus Schneider 0001 |
Bounded model checking of infinite state systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 30(1), pp. 51-81, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems |
46 | Dezhuang Zhang, Rance Cleaveland |
Efficient temporal-logic query checking for presburger systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 24-33, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Presburger systems, on-the-fly symbolic model checking, query checking, model checking, formal methods |
46 | Hyeong-Ju Kang, In-Cheol Park |
SAT-based unbounded symbolic model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 840-843, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
boolean satisfiability checking, unbounded symbolic model checking, formal verification, symbolic model checking |
45 | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
Beyond safety: customized SAT-based model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 738-743, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
circuit cofactoring, unbounded model checking, formal verification, SAT, liveness, bounded model checking, LTL |
43 | Patrice Godefroid, Michael Y. Levin, David A. Molnar |
Active property checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 207-216, 2008, ACM, 978-1-60558-468-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
security, software testing, symbolic execution |
43 | Matthias Kuntz, Markus Siegle |
Symbolic Model Checking of Stochastic Systems: Theory and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, pp. 89-107, 2006, Springer, 3-540-33102-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems |
41 | Foto N. Afrati, Phokion G. Kolaitis |
Repair checking in inconsistent databases: algorithms and complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2009, 12th International Conference, St. Petersburg, Russia, March 23-25, 2009, Proceedings, pp. 31-41, 2009, ACM, 978-1-60558-423-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
coNP-complete problem, equality-generating dependencies, repair checking, tuple-generating dependencies, weakly acyclic set, polynomial time, consistent query answering, inconsistent databases, database repairs |
41 | Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel |
Multi-valued symbolic model-checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 12(4), pp. 371-408, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
?Chek., model-checking, fairness, inconsistency, CTL, multi-valued logic, partiality |
41 | Patrice Godefroid, Michael Huth 0001 |
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings, pp. 158-167, 2005, IEEE Computer Society, 0-7695-2266-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Changrui Yu, Hongwei Wang 0009, Yan Luo |
Extended Ontology Model and Ontology Checking Based on Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD ![In: Fuzzy Systems and Knowledge Discovery, Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings, pp. 607-610, 2006, Springer, 3-540-45916-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Antonín Kucera 0001 |
On Simulation-Checking with Sequential Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings, pp. 133-148, 2000, Springer, 3-540-41428-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
39 | Michel Diaz, Guy Juanole, Jean-Pierre Courtiat |
Observer-A Concept for Formal On-Line Validation of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(12), pp. 900-913, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
observer concept, formal online validation, self-checking distributed systems design, erroneous behavior detection, observable output level, continuous checking, formal verified model, quasi-self-checking observers, industrial LAN, broadcast service, virtual ring MAC protocol testing, OSI layering management, open system architecture, run-time validation, Petri net based models, layered distributed architectures, formal verification, distributed processing, local area networks, transport protocols, performance measurements, open systems, access protocols, formal description techniques, transport layer, reference, link layer, online operation |
39 | Liang Xu, Wei Chen 0018, Yanyan Xu 0001, Wenhui Zhang |
Improved Bounded Model Checking for the Universal Fragment of CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(1), pp. 96-109, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model checking algorithm, ACTL, SAT, software verification, bounded model checking |
39 | Zhi-Hong Tao, Conghua Zhou, Zhong Chen, Lifu Wang |
Bounded Model Checking of CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(1), pp. 39-43, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
symbolic model checking, bounded model checking, QBF, CTL* |
39 | Arie Gurfinkel, Marsha Chechik, Benet Devereux |
Temporal Logic Query Checking: A Tool for Model Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(10), pp. 898-914, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
query checking, TLQSolver, model understanding, model checking, CTL, multi-valued logic |
39 | Fang Wang, Sofiène Tahar |
Language emptiness checking using MDGs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 13th ACM Great Lakes Symposium on VLSI 2003, Washington, DC, USA, April 28-29, 2003, pp. 88-91, 2003, ACM, 1-58113-677-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
MDGs (multiway decision graphs), ROBDDs (reduced ordered binary decision diagrams), büchi automata, formal hardware verification, language emptiness checking, model checking |
39 | Anthony W. Lin, Philipp Rümmer |
Regular Model Checking Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model Checking, Synthesis, and Learning ![In: Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday, pp. 97-114, 2021, Springer, 978-3-030-91383-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
39 | Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi 0001 |
Model Checking, Synthesis, and Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model Checking, Synthesis, and Learning ![In: Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday, pp. 1-7, 2021, Springer, 978-3-030-91383-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
39 | Parosh Aziz Abdulla |
Regular Model Checking: Evolution and Perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model Checking, Synthesis, and Learning ![In: Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday, pp. 78-96, 2021, Springer, 978-3-030-91383-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
39 | Sagar Chaki, Arie Gurfinkel |
BDD-Based Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 219-245, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Robert P. Kurshan |
Transfer of Model Checking to Industrial Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 763-793, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Natarajan Shankar |
Combining Model Checking and Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 651-684, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Orna Kupferman |
Automata Theory and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 107-151, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Patrice Godefroid, Koushik Sen |
Combining Model Checking and Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 613-649, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Armin Biere, Daniel Kröning |
SAT-Based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 277-303, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Parosh Aziz Abdulla, A. Prasad Sistla, Muralidhar Talupur |
Model Checking Parameterized Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 685-725, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith |
Introduction to Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 1-26, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Gerard J. Holzmann |
Explicit-State Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 153-171, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska |
Model Checking Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 963-999, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | David A. Basin, Cas Cremers, Catherine Meadows 0001 |
Model Checking Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 727-762, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Julian C. Bradfield, Igor Walukiewicz |
The mu-calculus and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 871-919, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Aarti Gupta, Vineet Kahlon, Shaz Qadeer, Tayssir Touili |
Model Checking Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 573-611, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Kenneth L. McMillan |
Interpolation and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 421-446, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Rupak Majumdar, Jean-François Raskin |
Symbolic Model Checking in Non-Boolean Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 1111-1147, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Rajeev Alur, Ahmed Bouajjani, Javier Esparza |
Model Checking Procedural Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 541-572, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Dirk Beyer 0001, Sumit Gulwani, David A. Schmidt |
Combining Model Checking and Data-Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 493-540, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell 0001 |
Model Checking Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 1001-1046, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Rance Cleaveland, A. W. Roscoe 0001, Scott A. Smolka |
Process Algebra and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 1149-1195, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Edmund M. Clarke |
The Birth of Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years of Model Checking ![In: 25 Years of Model Checking - History, Achievements, Perspectives, pp. 1-26, 2008, Springer, 978-3-540-69849-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm |
06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Verification: Infinite-State Model Checking and Static Program Analysis ![In: Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
39 | Stefan Edelkamp, Stefan Leue, Willem Visser |
06172 Executive Summary -- Directed Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Directed Model Checking ![In: Directed Model Checking, 26.04. - 29.04.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
39 | Stefan Edelkamp, Stefan Leue, Willem Visser |
06172 Abstracts Collection -- Directed Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Directed Model Checking ![In: Directed Model Checking, 26.04. - 29.04.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
39 | Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm |
06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Verification: Infinite-State Model Checking and Static Program Analysis ![In: Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
39 | Chandrasekhar Boyapati, Paul T. Darga |
Efficient Software Model Checking of Data Structure Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Directed Model Checking ![In: Directed Model Checking, 26.04. - 29.04.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
39 | Frank Huch |
Model checking Erlang programs - abstracting the context-free structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software Model Checking @ CAV ![In: Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 304-321, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Sarfraz Khurshid, Darko Marinov |
Checking Java implementation of a naming architecture using Testera. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software Model Checking @ CAV ![In: Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 322-342, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Cindy Eisner |
Model checking the garbage collection mechanism of SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software Model Checking @ CAV ![In: Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 289-303, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue |
Trail-directed model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software Model Checking @ CAV ![In: Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 343-356, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Kirsten Winter |
Model checking with abstract types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software Model Checking @ CAV ![In: Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 382-393, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Timm Schäfer, Alexander Knapp, Stephan Merz |
Model checking UML state machines and collaborations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software Model Checking @ CAV ![In: Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 357-369, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Tathagato Rai Dastidar, P. P. Chakrabarti 0001 |
A verification system for transient response of analog circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 12(3), pp. 31:1-31:39, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Ana CTL, model checking, query language, Analog circuits, equivalence checking, transient response |
38 | Robert P. Kurshan |
Verification Technology Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years of Model Checking ![In: 25 Years of Model Checking - History, Achievements, Perspectives, pp. 46-64, 2008, Springer, 978-3-540-69849-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Wojciech Jamroga, Jürgen Dix |
Model Checking Abilities of Agents: A Closer Look. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 42(3), pp. 366-410, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multi-agent systems, Model checking, Computational complexity |
38 | Petros Oikonomakos, Mark Zwolinski |
On the Design of Self-Checking Controllers with Datapath Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(11), pp. 1423-1434, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, Reliability, testing, automatic synthesis, error-checking, redundant design |
38 | Robert M. Hierons, Hasan Ural |
Optimizing the Length of Checking Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(5), pp. 618-629, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Finite state machine, distinguishing sequence, checking sequence, test minimization |
38 | Eugen-Nicolae Volanschi |
Condate: a proto-language at the confluence between checking and compiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 225-236, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
compilers, customization, declarative languages, program checking |
37 | Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska 0002, Jana Tumova |
Local Quantitative LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 53-68, 2008, Springer, 978-3-642-03239-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Lap-Chung Lam, Tzi-cker Chiueh |
Checking Array Bound Violation Using Segmentation Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings, pp. 388-397, 2005, IEEE Computer Society, 0-7695-2282-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Martin Leucker |
Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings, pp. 77-91, 1999, Springer, 3-540-66492-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Orna Kupferman, Moshe Y. Vardi |
Module Checking Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 36-47, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
37 | Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi |
A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, pp. 514-529, 1996, Springer, 3-540-61604-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
36 | Paolo Zuliani, André Platzer, Edmund M. Clarke |
Bayesian statistical model checking with application to Simulink/Stateflow verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010, pp. 243-252, 2010, ACM, 978-1-60558-955-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
bayesian statis tics, statistical model checking, hybrid systems, probabilistic model checking, stochastic systems |
36 | Satish Yada, Bharadwaj S. Amrutur, Rubin A. Parekhji |
Modified Stability Checking for On-line Error Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 20th International Conference on VLSI Design (VLSI Design 2007), Sixth International Conference on Embedded Systems (ICES 2007), 6-10 January 2007, Bangalore, India, pp. 787-792, 2007, IEEE Computer Society, 0-7695-2762-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
crosstalk faults and transient faults, SEU testing, modified stability checking, delay faults, self-checking circuits, Concurrent testing, on-line error detection |
36 | Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter |
Verifying Multi-agent Systems via Unbounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAABS ![In: Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers, pp. 189-212, 2004, Springer, 3-540-24422-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
unbounded model checking, multi-agent systems, Model checking |
36 | Vladimir V. Saposhnikov, Alexej Dmitriev, Michael Gössel, Valerij V. Saposhnikov |
Self-dual parity checking-A new method for on-line testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 14th IEEE VLSI Test Symposium (VTS'96), April 28 - May 1, 1996, Princeton, NJ, USA, pp. 162-168, 1996, IEEE Computer Society, 0-8186-7304-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
self-dual parity checking, self-dual complement, VLSI, logic testing, Boolean functions, Boolean function, integrated circuit testing, automatic testing, fault coverage, integrated logic circuits, online testing, error checking |
36 | Samy Makar, Edward J. McCluskey |
Checking experiments to test latches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 13th IEEE VLSI Test Symposium (VTS'95), April 30 - May 3, 1995, Princeton, New Jersey, USA, pp. 196-201, 1995, IEEE Computer Society, 0-8186-7000-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
exhaustive functional tests, 2-state latches, minimum-length checking, D-latch, HSpice implementation, transmission gate latch, detectable shorted interconnects, open interconnects, short-to-power faults, short-to-ground faults, pin fault test set, multiplexer-based test set, sequential elements, 2-state state machines, simulation, fault diagnosis, logic testing, finite state machines, integrated circuit testing, sequential circuits, CMOS, circuit analysis computing, CMOS logic circuits, SPICE, stuck open faults, checking experiments, stuck-on faults |
35 | Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila |
Simple Is Better: Efficient Bounded Model Checking for Past LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings, pp. 380-395, 2005, Springer, 3-540-24297-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Past LTL, Bounded Model Checking, NuSMV |
35 | Moshe Y. Vardi |
From Church and Prior to PSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years of Model Checking ![In: 25 Years of Model Checking - History, Achievements, Perspectives, pp. 150-171, 2008, Springer, 978-3-540-69849-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Krishnendu Chatterjee, Thomas A. Henzinger |
Value Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years of Model Checking ![In: 25 Years of Model Checking - History, Achievements, Perspectives, pp. 107-138, 2008, Springer, 978-3-540-69849-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002 |
Compositional encoding for bounded model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 2(4), pp. 368-379, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Communication Sequential Processes (CSP), Linear Temporal Logic (LTL), bounded model checking |
35 | Hamidah Ibrahim, Zarina Dzolkhifli, Praveen Madiraju |
Checking the Integrity Constraints of Mobile Databases with Three-Level Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Sharing Data, Information and Knowledge, 25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008. Proceedings, pp. 185-188, 2008, Springer, 978-3-540-70503-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
integrity constraints, Mobile databases, constraint checking |
35 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002 |
Bounded Model Checking of Compositional Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, pp. 23-30, 2008, IEEE Computer Society, 978-0-7695-3249-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Compositional Processes, Tool, Bounded Model Checking |
35 | Cécile Germain-Renaud, Dephine Monnier-Ragaigne |
Grid result checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the Second Conference on Computing Frontiers, 2005, Ischia, Italy, May 4-6, 2005, pp. 87-96, 2005, ACM, 1-59593-019-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
simulation, grids, result checking |
35 | Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente |
Partial-order reduction and trail improvement in directed model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 6(4), pp. 277-301, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Trail improvement, HSF-SPIN, Model checking, Heuristic search, Partial-order reduction |
35 | Nikolay V. Shilov 0002, Natalya Olegovna Garanina |
Polynomial Approximations for Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers, pp. 395-400, 2003, Springer, 3-540-20813-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
model checking, complexity, Calculus |
35 | Tatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno |
Symbolic Model Checking for Self-Stabilizing Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(1), pp. 81-95, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
distributed algorithms, Self-stabilization, symbolic model checking, automatic verification |
35 | Richard J. Anderson, Paul Beame, William Chan 0001, David Notkin |
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 460-469, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
finite state representations, Formal methods, formal verification, binary decision diagrams, symbolic model checking, software specification |
35 | Issam Alzaher-Noufal, Michael Nicolaidis |
A CAD Framework for Generating Self-Checking 1 Multipliers Based on Residue Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1999 Design, Automation and Test in Europe (DATE '99), 9-12 March 1999, Munich, Germany, pp. 122-, 1999, IEEE Computer Society / ACM, 0-7695-0078-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Fault Secure Circuits, Residue Arithmetic Codes, Multipliers, Self-Checking Circuits |
34 | Yannick Moy |
Sufficient Preconditions for Modular Assertion Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, pp. 188-202, 2008, Springer, 978-3-540-78162-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Kristin Y. Rozier, Moshe Y. Vardi |
LTL Satisfiability Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, pp. 149-167, 2007, Springer, 978-3-540-73369-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Stefan Edelkamp, Shahid Jabbar |
Large-Scale Directed Model Checking LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, pp. 1-18, 2006, Springer, 3-540-33102-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Cormac Flanagan, Shaz Qadeer |
Thread-Modular Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, pp. 213-224, 2003, Springer, 3-540-40117-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | A. Prasad Sistla |
Symmetry Reductions in Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 25, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Changrui Yu, Yan Luo |
Term Consistency Checking of Ontology Model Based on Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings, pp. 496-501, 2007, Springer, 978-3-540-76718-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Nikolay V. Shilov 0002, Natalya Olegovna Garanina |
Well-Structured Model Checking of Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers, pp. 363-376, 2006, Springer, 978-3-540-70880-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby |
A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASSIS ![In: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers, pp. 210-228, 2004, Springer, 3-540-24287-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Xuandong Li, Johan Lilius |
Checking compositions of UML sequence diagrams for timing inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 154-161, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
UML sequence diagram composition checking, timing inconsistency checking, real-time systems specification, system behaviour scenarios, high-level graphs, real-time systems, model checking, Unified Modeling Language, formal verification, graphs, timing, specification languages, sequences, diagrams, object interactions |
33 | Anton Wijs, Bert Lisser |
Distributed Extended Beam Search for Quantitative Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt ![In: Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers, pp. 166-184, 2006, Springer, 978-3-540-74127-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
directed model checking, distributed model checking, scheduling, beam search |
33 | Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli |
A Decision Algorithm for Full Propositional Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings, pp. 97-109, 1993, Springer, 3-540-56922-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
satisfiability checking, validity checking, past and future operators, incremental tableau, model checking, temporal logic, automatic verification |
32 | Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma |
Non-cycle-accurate sequential equivalence checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 460-465, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
unit product machine, model checking, formal verification, high level synthesis, sequential equivalence checking |
Displaying result #1 - #100 of 21094 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|