MARCIE’s Secrets of Efficient Model Checking
- 2 September 2016
- book chapter
- other
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- BioModel Engineering with Petri NetsPublished by Elsevier BV ,2015
- A Petri-Net-Based Framework for Biomodel EngineeringPublished by Springer Science and Business Media LLC ,2014
- MARCIE – Model Checking and Reachability Analysis Done EfficientlyLecture Notes in Computer Science, 2013
- Report on the Model Checking Contest at Petri Nets 2011Lecture Notes in Computer Science, 2012
- IDD-based model validation of biochemical networksTheoretical Computer Science, 2011
- DSSZ-MC – A Tool for Symbolic Analysis of Extended Petri NetsLecture Notes in Computer Science, 2009
- CSL Model Checking of Biochemical Networks with Interval Decision DiagramsLecture Notes in Computer Science, 2009
- A Performance Study of BDD-Based Model CheckingLecture Notes in Computer Science, 1998
- Efficient implementation of a BDD packagePublished by Association for Computing Machinery (ACM) ,1990
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986