Spec#

swMATH4598MaRDI QIDQ16769FDOQ16769

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=2131549

Cited In (only showing first 100 items - show all)

• Faster and more complete extended static checking for the Java modeling language
• HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier
• HOL-Boogie
• IMP++
• Ada95
• ACSL
• distcc
• Caduceus
• JML
• Frama-C
• Omnibus
• Why3
• Alt-Ergo
• cvc3
• SIMPLIFY
• OptiML
• Rascal
• Zap
• Rodin
• ESC/Java
• JUnit
• Pex
• VCC
• JACK
• Boogie
• Chalice
• MAVEN
• VeriFast
• Leon
• Cyclone
• HighSpec
• Amphion
• Coquet
• Smallfoot
• KeY
• FixBag
• KIV
• WhyML
• VeriCool
• LOOP
• TVLA
• Viper
• jStar
• VerCors
• SpecExplorer
• Jahob
• Ynot
• CSPsim
• Contract
• Grasshopper
• BVD
• SmallEiffel
• Clara
• THOR
• Featherweight Java
• EventB2Dafny
• coreStar
• LCLint
• Atoment
• CacBDD
• Splint
• ExplainHoudini
• Houdini
• OpenJML
• DKAL
• MiniMaple
• Racket
• HAVOC
• C-Light
• TreatJS
• Verasco
• BoogiePL
• MarQ
• StaRVOOrS
• Rocksalt
• Cibai
• Nemerle
• Rust
• Kami
• POSIX Lexing
• Finite Automata HF
• Hereditarily Finite Sets
• SPL Conqueror
• JSAI
• AutoProof
• Servois
• Solidity
• Jass
• SILF
• UNITS
• SCiFI
• Rust2Viper
• A parametric segmentation functor for fully automatic and scalable array content analysis
• Valigator: A Verification Tool with Bound and Invariant Generation
• An extensible encoding of object-oriented data models in HOL. With an application to IMP++
• Dafny: an automatic program verifier for functional correctness
• CVPP: a tool set for compositional verification of control-flow safety properties
• Zeno: an automated prover for properties of recursive data structures
• Verification of concurrent systems with VerCors
• Ynot: dependent types for imperative programs

This page was built for software: Spec#