Muutke küpsiste eelistusi

E-raamat: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Edited by , Edited by
Teised raamatud teemal:
  • Formaat - EPUB+DRM
  • Hind: 80,26 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IIISuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. 





ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.





 
SpecifyThis Bridging Gaps Between Program Specification Paradigms:
Track Introduction.- Deductively Verified Program Models for Software Model
Checking.- Towards Probabilistic Contracts for Intelligent Cyber-Physical
Systems.- Towards the Formal Analysis of Algorithmic Requirements.- Interest
beyond Violation: On Points-of-Interest in Runtime Verification.-
Contract-LIB: A Proposal for a Common Interchange Format for Software Systems
Specification.- Adventures in FRET and Specification.- Challenges of
Multilingual Program Specification and Analysis.- Towards Integrating
Copiloting and Formal Methods: Building Blocks, Architecture, and
Challenges.- High-Level Program Properties in Frama-C: Definition,
Verification and Deduction.- Formal Foundations of Consistency in
Model-Driven Development.- Context-Aware Contracts as a Lingua Franca for
Behavioral Specification.- SIMPPAAL: A Framework For Statistical Model
Checking of Industrial Simulink Models.- Static and Dynamic Verification of
OCaml Programs: the Gospel Ecosystem.- Scalable Verification and Validation
of Concurrent and Distributed Systems (ScaVeri) (Track Summary).- SyDPaCC: A
Framework for the Development of Verified Scalable Parallel Functional
Programs.- A Theory of Probabilistic Contracts.- Composition and Merging of
Assume-Guarantee Contracts Are Tensor Products.- Avoiding distractions in
parity games.- No Need to Be Stubborn: Partial-Order Reduction for GPU Model
Checking Revisited.- SAT-Based Quantified Symmetric Minimization of the
Reachable States of Distributed Protocols: An Update.- CommonUppRoad: A
Framework of Formal Modelling, Verifying, and Visualisation of Autonomous
Vehicles.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97830317538006e.html