BLAST model checker - PDFSEARCH.IO - Document Search Engine

BLAST model checker
Results: 9

#	Item
1	Verifolio:)A)Portfolio)for Software)Verification Yulia Demyanova,.Thomas) Pani, Helmut.Veith,.Florian.Zuleger Vienna.University.of.Technology AI4FM.2015.D.September. 1,.2015 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Software Theoretical computer science Numerical software BLAST model checker CPAchecker Solver Blast Formal methods Logic in computer science
2	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2008-06-15 00:09:46 Computer programming Logic in computer science Model checkers Model checking Formal verification BLAST model checker Abstract interpretation Static program analysis Abstraction Computing Software engineering Formal methods
3	Department of Natural Resources and Mines Safety Alert Mines Inspectorate—All mines Safety Alert No. 293 \| 12 September 2012 Add to Reading List Source URL: mines.industry.qld.gov.au Language: English - Date: 2013-12-10 00:11:40 Naval mine BLAST model checker Mining Security Military technology Destruction Area denial weapons Explosive weapons Anti-submarine weapons
4	Department of Employment, Economic Development and Innovation Safety Alert Mines Inspectorate Safety Alert No. 265 Add to Reading List Source URL: mines.industry.qld.gov.au Language: English - Date: 2013-12-10 00:11:50 Explosives safety Exclusion zone Naval mine BLAST model checker Chernobyl Exclusion Zone Mining Technology Security Ethics Explosive weapons Area denial weapons Explosives
5	2014 Advertising Opportunities Homepage Side Banner Ad Add to Reading List Source URL: www.nowplayingutah.com Language: English - Date: 2014-09-01 12:19:20 Brillouin zone Crystallography BLAST model checker
6	Software Model Checking via Large-Block Encoding Dirk Beyer ∗ Alessandro Cimatti † Alberto Griggio ∗‡ Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Thought Semantics Formal methods Abstraction Constraint programming Satisfiability Modulo Theories Model checking BLAST model checker Function Theoretical computer science Mathematics Cognition
7	Precision Reuse for Efficient Regression Verification † Dirk Beyer 1 , Stefan Löwe 1 , Evgeny Novikov 2 , Andreas Stahlbauer 1 , and Philipp Wendler 1 1 Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:23 Formal methods Logic in computer science Model checkers Software testing Software verification Formal verification Model checking Verification and validation BLAST model checker Theoretical computer science Applied mathematics Mathematical software
8	LNCS[removed]Second Competition on Software Verification Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Data management Model checking SystemC Benchmark Verilog BLAST model checker Standard Performance Evaluation Corporation Parallel computing Abstraction Electronic engineering Hardware description languages Electronic design automation
9	/localhome/dbeyer/passau/Papers/68_CAV-2011_CPAcheckerTool/CAV11-proceedings/fig-design.dia Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Programming tool BLAST model checker Abstraction Mind Philosophy of mind Cognitive science Model checking Software bug Debugging