1 option
2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE) / IEEE.
- Format:
- Book
- Author/Creator:
- Institute of Electrical and Electronics Engineers, author, issuing body.
- Language:
- English
- Subjects (All):
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Software engineering--Congresses.
- Software engineering.
- Physical Description:
- 1 online resource
- Place of Publication:
- Piscataway, NJ : IEEE Computer Society, 2025.
- Contents:
- Half Title Page 1-1
- 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering FormaliSE 2025 1-1
- Copyright Page 1-1
- Table of Contents v-vii
- Foreword FormaliSE 2025 viii-ix
- Organization Committee: FormaliSE 2025 x-x
- Cps Falsification Using Autoencoded Input Models 1-10
- by Youssef Gordon Zahar, Sanjai Rayadurgam
- Modeling Language for Scenario Development of Autonomous Driving Systems 11-21
- by Toshiaki Aoki, Takashi Tomita, Tatsuji Kawai, Daisuke Kawakami, Nobuo Chida
- Robustness Verification of Video Classification Neural Networks 22-33
- by Samuel Sasaki, Diego Manzanas Lopez, Preston K. Robinette, Taylor T. Johnson
- The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs 34-45
- by Chengsong Tan, Alastair F. Donaldson, Jonathan Julián Huerta y Munive, John Wickerson
- A Proof-Based Ground Algebraic Meta-Model for Reasoning on ASTD in Event-B 46-57
- by Christophe Chen, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Ait Ameur, Marc Frappier
- Probabilistic Model Checking of Disaster Resource Distribution Strategies 1-5
- by Kenneth Johnson, Meena Kumari
- Specifying Distributed Hash Tables with Allen Temporal Logic 63-73
- by Nuno Policarpo, José Fragoso Santos, Alcino Cunha, João Leitão, Pedro Ákos Costa
- Temporal Logics Meet Real-World Software Requirements: A Reality Check 74-85
- by Roman Bögli, Atefeh Rohani, Thomas Studer, Christos Tsigkanos, Timo Kehrer
- Detecting Redundant Preconditions 86-95
- by Nicola Thoben, Heike Wehrheim
- Llm-Based Generation of Weakest Preconditions and Precise Array Invariants 1-5
- by Daragh King, Vasileios Koutavas, Laura Kovács
- VeCoGen: Automating Generation of Formally Verified C Code With Large Language Models 101-112
- by Merlijn Sevenhuijsen, Khashayar Etemadi, Mattias Nyberg
- Embracing Uncertainty: a Fuzzy Theoretical Model for Goal Fulfillment Assessment 113-123
- by Vincenzo Grassi, Raffaela Mirandola, Diego Perez-Palacin
- Refining Alloy-Based Mutation Operators to Reflect Common Mistakes 1-11
- by Ana Jovanovic, Mohammad Nurullah Patwary, Allison Sullivan
- Verifying Multiple TLA+ Configurations with Blast 135-145
- by Paul Somson, Alcino Cunha
- Typestates Specification and Verification in Frama-C 146-156
- by Sébastien Patte, Virgile Prevosto
- Author Index.
- Notes:
- Description based on publisher supplied metadata and other sources.
- Includes index.
- ISBN:
- 979-83-315-3794-4
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.