Search Results - "FM 2012: Formal Methods" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Vyzkoušejte nový nástroj s podporou AI Summon Research Assistant BETA

Cover Image

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors

by Barringer, Howard, Falcone, Yliès, Havelund, Klaus, Reger, Giles, Rydeheard, David
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems

by André, Étienne, Fribourg, Laurent, Kühne, Ulrich, Soulat, Romain
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

VMC: A Tool for Product Variability Analysis

by ter Beek, Maurice H., Mazzanti, Franco, Sulova, Aldi
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

Decentralised LTL Monitoring

by Bauer, Andreas, Falcone, Yliès
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

A Verification Toolkit for Numerical Transition Systems

by Hojjat, Hossein, Konecný, Filip, Garnier, Florent, Iosif, Radu, Kuncak, Viktor, Rümmer, Philipp
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter Conference Proceeding

Cover Image

TLA+ Proofs

by Cousineau, Denis, Doligez, Damien, Lamport, Leslie, Merz, Stephan, Ricketts, Daniel, Vanzetto, Hernán
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

Collaborative Verification and Testing with Explicit Assumptions

by Christakis, Maria, Müller, Peter, Wüstholz, Valentin
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

Error Invariants

by Ermis, Evren, Schäf, Martin, Wies, Thomas
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing

by Minamide, Yasuhiko, Mori, Shunsuke
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

Efficient Malware Detection Using Model-Checking

by Song, Fu, Touili, Tayssir
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

Automata Learning through Counterexample Guided Abstraction Refinement

by Aarts, Fides, Heidarian, Faranak, Kuppens, Harco, Olsen, Petur, Vaandrager, Frits
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

From Hoare Logic to Matching Logic Reachability

by Roşu, Grigore, Ştefănescu, Andrei
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

Validating B,Z and TLA+ Using ProB and Kodkod

by Plagge, Daniel, Leuschel, Michael
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

Formal Methods in the Wild: Trains, Planes, & Automobile

by Degani, Asaf
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

Software Security: A Formal Perspective: Notes for a Talk

by Abadi, Martín
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

Who Are We, and What Are We Doing Here?

by Wassyng, Alan
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

Executing Formal Semantics with the $\mathbb K$ Tool

by Lazar, David, Arusoaie, Andrei, Şerbǎnuţǎ, Traian Florin, Ellison, Chucky, Mereuta, Radu, Lucanu, Dorel, Roşu, Grigore
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

A Verification Toolkit for Numerical Transition Systems: Tool Paper

by Hojjat, Hossein, Konečný, Filip, Garnier, Florent, Iosif, Radu, Kuncak, Viktor, Rümmer, Philipp
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example

by Zhao, Hengjun, Zhan, Naijun, Kapur, Deepak, Larsen, Kim G.
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter

Cover Image

Specification-Based Test Repair Using a Lightweight Formal Method

by Yang, Guowei, Khurshid, Sarfraz, Kim, Miryung
Published in FM 2012: Formal Methods (2012)

Get full text

Book Chapter