![Mathematical software / Application software / Software / Theoretical computer science / Formal methods / Logic in computer science / Discrete mathematics / Verification / Quantifier elimination / Formal verification / Model checking / Computer science Mathematical software / Application software / Software / Theoretical computer science / Formal methods / Logic in computer science / Discrete mathematics / Verification / Quantifier elimination / Formal verification / Model checking / Computer science](https://www.pdfsearch.io/img/8bac925884c1d33787b74254db8819f9.jpg) Date: 2014-02-28 12:52:15Mathematical software Application software Software Theoretical computer science Formal methods Logic in computer science Discrete mathematics Verification Quantifier elimination Formal verification Model checking Computer science | | Ritwika Ghosh phone : (+email : Profile : I am a first year graduate student in Computer Science at the University of Illinois, Urbana-Champaign, interested in formal methods, and applAdd to Reading ListSource URL: web.engr.illinois.eduDownload Document from Source Website File Size: 62,04 KBShare Document on Facebook
|