Revere

Leveraging Applications of Formal Methods, Verification and Validation.

Description: RV-TheToP: Runtime Verification from the Theory To the industry Practice (Track Introduction).- Opportunities and Challenges in Monitoring Cyber-physical Systems Security.- Migrating Monitors + ABE: A Suitable Combination for Secure IoT?.- Capturing Inter-Process Communication for Runtime Verification on Android.- Considering Academia-Industry Projects Meta-Characteristics in Runtime Verification Design.- Flexible Monitor Deployment for Runtime Verification of Large Scale Software.- Increasing the Reusability of Enforcers with Lifecycle Events.- BDDs on the Run.- Verifying Real-World Software with Contracts for Concurrency.- Formal Methods in Industrial Practice - bridging the gap (Track Summary).- Model-based Testing for Avionic Systems -- Proven Benefits and Further Challenges.- Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process.- Pitfalls in Applying Model Learning to Industrial Legacy Software.- Formal Verification in Automotive Industry: Enablers and Obstacles.- Scalability of Deductive Verification Depends on Method Call Treatment.- Java Automated Deductive Verification in Practice: Lessons from industrial proof-based projects.- Security Filters for IoT Domain Isolation.- 20 Years of Uppaal Enabled Industrial Model-Based Validation and Beyond.- Verification of Operating System Monolithic Kernels without Extensions.- A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods.- Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions.- Smart Contracts and Opportunities for Formal Methods.- Contracts over Smart Contracts: Recovering from Violations Dynamically.- Security Analysis of Smart Contracts in Datalog.- Temporal Properties of Smart Contracts.- Temporal Aspects of Smart Contracts for Financial Derivatives.- Marlowe: financial contracts on blockchain.- SMT-based Verification of Solidity Smart Contracts.- Blockchains as Kripke Models: an Analysis of Atomic Cross-Chain Swap.- A Language-Independent Approach To Smart Contract Verification.- Towards Adding Variety to Simplicity.- Fun with Bitcoin smart contracts.- Computing Exact Worst-Case Gas Consumption for Smart Contracts.- Digital Transformation Trends: Industry 4.0, Automation, and AI.- A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways.- Automatic composition of rough solution possibilities in the target planning of factory planning projects by means of combinatory logic.- GOLD: Global Organization aLignment and Decision - Towards the Hierarchical Integration of Heterogeneous Business Models.

Price: 113 AUD

Location: Hillsdale, NSW

End Time: 2024-11-05T03:04:20.000Z

Shipping Cost: 32.92 AUD

Product Images

Leveraging Applications of Formal Methods, Verification and Validation.Leveraging Applications of Formal Methods, Verification and Validation.

Item Specifics

Return shipping will be paid by: Buyer

Returns Accepted: Returns Accepted

Item must be returned within: 60 Days

Return policy details:

EAN: 9783030034269

UPC: 9783030034269

ISBN: 9783030034269

MPN: N/A

Recommended Age Range: 12+ years

Book Title: Leveraging Applications of Formal Methods, Verific

Item Length: 23.4 cm

Item Height: 235 mm

Item Width: 155 mm

Author: Tiziana Margaria, Bernhard Steffen

Publication Name: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Format: Paperback

Language: English

Publisher: Springer Nature Switzerland Ag

Subject: Engineering & Technology, Computer Science

Publication Year: 2018

Type: Textbook

Item Weight: 825 g

Number of Pages: 530 Pages

Recommended

Leveraging Applications of Formal Methods, Verification and Validation  Mod...
Leveraging Applications of Formal Methods, Verification and Validation Mod...

$58.94

View Details
Leveraging Applications of Formal Methods, Verification, and ... - 9783642347801
Leveraging Applications of Formal Methods, Verification, and ... - 9783642347801

$49.29

View Details
Margaria - Leveraging Applications of Formal Methods Verification an - S9000z
Margaria - Leveraging Applications of Formal Methods Verification an - S9000z

$108.98

View Details
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, By Tiziana Margaria
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, By Tiziana Margaria

$103.49

View Details
Leveraging Applications of Formal Methods, Verification and Validation : Spec...
Leveraging Applications of Formal Methods, Verification and Validation : Spec...

$114.57

View Details
Leveraging Applications of Formal Methods, Verification and Validation. Industri
Leveraging Applications of Formal Methods, Verification and Validation. Industri

$67.23

View Details
Leveraging Applications of Formal Methods, Verification and Validation. Adaptati
Leveraging Applications of Formal Methods, Verification and Validation. Adaptati

$103.55

View Details
Leveraging Applications of Formal Methods, Verification and V... - 9783642340314
Leveraging Applications of Formal Methods, Verification and V... - 9783642340314

$49.82

View Details
Leveraging SAP GRC in the Fight Against Corruption and Fraud
Leveraging SAP GRC in the Fight Against Corruption and Fraud

$39.99

View Details
Leveraging Applications of Formal Methods, Verification and Validation. Software
Leveraging Applications of Formal Methods, Verification and Validation. Software

$83.88

View Details