Back to Results
First PageMeta Content
Formal methods / Automated theorem proving / Logic in computer science / NP-complete problems / Model checking / Satisfiability Modulo Theories / Boolean satisfiability problem / KeY / First-order logic / Theoretical computer science / Logic / Mathematical logic


Software Engineering and Automated Deduction Willem Visser Nikolaj Bjørner Natarajan Shankar
Add to Reading List

Document Date: 2014-05-07 12:02:12

Open Document

File Size: 220,28 KB

Share Result on Facebook

City

Hyderabad / SV / New York / Berlin / /

Company

CNF / IOS Press / High Integrity Software / Blocked / IEEE Press / COMPAQ / Microsoft / Object-Oriented Software / /

Country

United States / /

Currency

USD / pence / /

/

Facility

Prentice Hall / /

IndustryTerm

automatic theorem proving systems / software engineering / software engineering tasks / model-based software development / software projects / execution systems / local-area network / software engineering needs / search spaces / web-facing string sanitizers / verification tools / software analysis platform / software requirements / software engineering research / front-end tools / highintegrity applications / software engineering projects / software engineering community / software analysis / algorithmic solutions / software development / by-products / safety-critical algorithms / static analysis tools / concolic execution systems / air traffic control algorithms / cyber-physical systems / deduction tools / generation tools / software analysis methods / software engineering problems / deduction-based software engineering / hardware processor / clause management / classic symbolic execution tools / Graph-based algorithms / formal software development tool / computing / deduction systems / probabilistic systems / search space / flight software / proof search / software engineering researchers / theorem proving tools / past software engineering problems / suitable automated deduction tools / software engineering applications / workflow integrating multiple tools / automated deduction tools / software engineers / software engineering requirements / binary search procedure / automated deductions tools / biological systems / analytical tools / tic systems / semantic search / software engineering trends / software engineering domains / transition systems / verification technology / software analysis perspective / search heuristics / software systems / search algorithms / self-driving car technology / integrity software systems / recent software / automated deduction technology / deduction tool infrastructure / backend tools / proof search engines / software engineering tools / program analysis tool / security software / stand-alone tools / software testing / automated deductions technologies / web services / /

NaturalFeature

Krakatoa / /

Organization

National Research Foundation of South Africa / USENIX Association / Providence / American Mathematical Society / Department of Computer Science Series / National Science Foundation / National Aeronautics and Space Administration / Langley Research Center / /

Person

R. W. Harper / N. Kosmatov / V / S. F. Allen / W. R. Bush / W. D. Young / H. van Maaren / Y. Zhu / C. Muñoz / W. R. Bevier / J. Maddalon / R. Brummayer / Verification / Pascal Verifier / Nikolaj Bjørner Natarajan Shankar / M. Heule / T. Walsh / G. Hagen / E. Bounimova / V / A. Biere / O. Grumberg / W. A. Hunt / Jr. / J. S. Moore / E. Clarke / R. Butler / Y. Lu / S. Jha / R. Raimi / A. Narkawicz / G. Dowek / H. Veith / R. S. Boyer / /

/

Position

King / driver / editor / R. N. / Model / L. Constable / Coq proof assistant / D. J. / Butler / /

ProgrammingLanguage

Datalog / Java / Lisp / Object Constraint Language / Modula-3 / PHP / Common Lisp / Prolog / Pascal / C / K / Ada / C++ / /

ProvinceOrState

New York / Rhode Island / /

PublishedMedium

IEEE Transactions on Software Engineering / IEEE Transactions on Computers / Symposia / Lecture Notes in Computer Science / /

Region

South Africa / /

Technology

SMT solving technologies / automated deductions technologies / hardware processor / operating system / air traffic control algorithms / Java / PHP / search algorithms / plug and play / self-driving car technology / automated deduction technology / artificial intelligence / caching / underlying technology / Graph-based algorithms / verification technology / /

URL

http /

SocialTag