Termination Analysis for Bit-Vector Programs
| Autor: | Wintersteiger, Christoph M. |
|---|---|
| Přispěvatelé: | Basin, David A., Kröning, Daniel |
| Jazyk: | angličtina |
| Rok vydání: | 2011 |
| Předmět: |
Data processing
computer science VERIFICATION (SOFTWARE ENGINEERING) KORREKTHEIT (THEORIE DER PROGRAMMIERUNG) COMPUTING TIME + RUNNING TIME (COMPUTER SYSTEMS) CORRECTNESS (THEORY OF PROGRAMMING) RECHENZEIT + LAUFZEIT (COMPUTERSYSTEME) VERIFIKATION (SOFTWARE ENGINEERING) PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME ddc:004 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|