Louis Althusser Resource pack
INNOVATING WITH INFRASTUCTURE
MCAI 2.0 Model Checking in Ten Minutes Edmund Clarke School of Computer Science Carnegie Mellon University.
Next-Generation Model Checking and Abstract Interpretation with a Focus on Systems Biology and Embedded Systems A Collaborative Proposal to the NSF Experimental.