Serie
lecture notes in computer science
(23)programming and software engineering
(18)theoretical computer science and general issues
(3)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
a. finkel
(2)a. petit
(2)abdulbaki aydin
(2)ahrendt, wolfgang
(2)b. berard
(2)beckert, bernhard
(2)bin, eyal
(2)bubel, richard
(2)f. laroussinie
(2)fang yu
(2)hähnle, reiner
(2)janusz laski
(2)l. petrucci
(2)m. bidoit
(2)marcus s. fisher
(2)muath alkhalaf
(2)p. schnoebelen
(2)rakitin, steven r.
(2)tevfik bultan
(2)ulbrich, mattias
(2)ur, shmuel
(2)william stanley
(2)winterholer, markus
(2)ziv, avi
(2)abate, alessandro
(1)aleksandar dimovski
(1)aradhq, chiranäewi
(1)arbel, eli
(1)barner, sharon
(1)bertacco, valeria
(1)biere, armin
(1)bloem, roderick
(1)bogomolov, sergiy
(1)boldo, sylvie
(1)chiranjeevi aradhya
(1)chockler, hana
(1)christakis, maria
(1)duggirala, parasara sridhar
(1)eder, kerstin
(1)harris, ian
(1)havelund, klaus
(1)hu, alan j.
(1)huisman, marieke
(1)huisman, marieke/wijs, anton
(1)kroening, daniel
(1)legay, axel
(1)lettnin, djones
(1)lettnin, djones vinicius
(1)loureno, joão
(1)martel, matthieu
(1)meyer, bertrand
(1)nahir, amir
(1)namjoshi, kedar
(1)nordio, martin
(1)penix, john
(1)piterman, nir
(1)polikarpova, nadia
(1)prabhakar, pavithra
(1)raz, orna
(1)schmitt, peter h.
(1)schrammel, peter
(1)shehory, onn
(1)sitnikovski, boro
(1)strichman, ofer
(1)tzoref-brill, rachel
(1)visser, willem
(1)vogel, david a.
(1)vos, tanja e. j.
(1)wijs, anton
(1)wolfsthal, yaron
(1)yahav, eran
(1)yorav, karen
(1)zamani, majid
(1)zeller, andreas
(1)zufferey, damien
(1)Verlag / Hersteller
artech house inc
(3)springer berlin heidelberg
(12)springer international publishing
(14)springer london
(2)springer new york
(2)springer us
(2)springer verlag gmbh
(3)springer, berlin springer international publishing springer
(3)Verlag
artech house inc
(3)springer
(4)springer berlin heidelberg
(12)springer international publishing
(17)springer london
(2)springer new york
(2)springer us
(2)springer verlag gmbh
(3)springer, berlin
(5)Schlagwort
informatik
(35)edv
(33)software engineering
(28)model checking
(20)theorie
(16)software-entw.
(15)verification
(15)modelchecking
(13)logics and meanings of programs
(12)artificial intelligence
(11)software verification
(11)programming languages, compilers, interpreters
(9)software
(9)formal verification
(8)software engineering/programming and operating systems
(7)compiler
(6)embedded systems
(6)formal methods
(6)general
(6)programmiersprachen
(6)theory of computation
(6)übersetzer (edv)
(6)algorithms
(5)automata
(5)computers
(5)embeddedsystems
(5)java
(5)mathematical logic and formal languages
(5)programming
(5)programming techniques
(5)allgemeines
(4)communication
(4)debugging
(4)formalmethods
(4)formalverification
(4)intelligenz
(4)semantics
(4)simulation
(4)softwareengineering
(4)softwareverification
(4)architecting
(3)artificialintelligence
(3)computer hardware
(3)computerprogrammierung und softwareentwicklung
(3)computers - languages
(3)design
(3)engineering
(3)equivalence checking
(3)functional verification
(3)hybrid systems
(3)informatik, computer
(3)ki
(3)künstliche intelligenz
(3)künstliche intelligenz - ai
(3)logic
(3)mathematik
(3)nachrichtentechnik
(3)numerical simulation
(3)programmieren
(3)programming languages
(3)sat solving
(3)satsolving
(3)software development & engineering
(3)specification
(3)theoremproving
(3)validation
(3)algorithmic debugging
(2)approach
(2)automated sanitization synthesis
(2)automated string analysis
(2)automated testing
(2)automatedtesting
(2)c
(2)computer programming
(2)computer science logic and foundations of programming
(2)computer security
(2)computerprogramming
(2)dafny
(2)decision theory
(2)decisiontheory
(2)deductive verification
(2)deductiveverification
(2)design for verifiability
(2)distributed systems
(2)distributedsystems
(2)dynamic testing
(2)dynamic verification
(2)dynamictesting
(2)dynamicverification
(2)elektronik
(2)elektrotechnik
(2)embedded software
(2)embedded software debugging
(2)embedded software design
(2)embedded software testing
(2)embedded software verification
(2)embeddedsoftware
(2)embeddedsoftwaredebugging
(2)embeddedsoftwaredesign
(2)embeddedsoftwaretesting
(2)Erscheinungsjahr
1997
(1)2000
(1)2001
(2)2006
(2)2007
(1)2008
(1)2009
(3)2010
(3)2011
(3)2012
(2)2013
(2)2014
(1)2015
(1)2016
(2)2017
(4)2018
(2)2019
(2)2020
(4)2022
(3)2023
(2)2024
(3)2025
(1)Ergebnis: 46 Artikel
Titel: software verification
