This is a poster on ideas for symbolic model checking of biological systems.
Poster
Subscribe to:
Post Comments (Atom)
skip to main |
skip to sidebar
Blog Archive
-
▼
2005
(62)
-
▼
February
(9)
- Interprocedural control flow graph
- Constant Propagation through procedures
- Static Analysis for Memory Operations
- Hybrid Petri Net Representation of Gene Regulatory...
- Modeling and querying biomolecular interaction net...
- Symbolic model Checking of biological systems
- Model Checking Biological Systems
- Detecting infeasible paths statically
- Control Flow Graph
-
▼
February
(9)
Links
About Me
- Neha Rungta
- I am doing a PhD (Formal Verification) in Computer Science. I am from India living in Provo Utah.
No comments:
Post a Comment