Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Edmund M. Clarke

Automated Assume-Guarantee Reasoning Through Implicit Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Finding Errors in Python Programs Using Dynamic Symbolic Execution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

A Bayesian Approach to Model Checking Biological Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Verification of Supervisory Control Software Using State Proximity and Merging

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1991English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy