Rabbit Model Checker

#	Item
1	Dirk Beyer Curriculum Vitae[removed]Coordinates p Affiliation: Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-11 15:38:37 Software verification Rabbit Model Checker Ambient intelligence Software engineering Year of birth missing CHIC Lecture Notes in Computer Science International Conference on Formal Techniques for Networked and Distributed Systems
2	LNCS[removed]BDD-Based Software Model Checking with <TEX>{CPAchecker}</TEX> Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 07:00:05 Binary decision diagram Model checking Computing Applied mathematics Algorithm Abstraction And-inverter graph Rabbit Model Checker Diagrams Boolean algebra Mathematics