NuSMV
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Before and after vacuity
- An executable specification of a formal argumentation protocol
- A rigorous methodology for specification and verification of business processes
- AUTOMATE
- dSL
- Galileo
- Grail
- TotemBioNet
- pyModelChecking
- CDCLSym
- ATLANTIS
- Sally
- Btor2Tools
- Sylvan
- CoLoMoTo
- REGAL
- TOrPEDO
- SIGREF
- SYNTHESIS
- TRANSYT
- WSAT
- PRISM
- APS-1
- Alloy
- Rapide
- CPN/Tools
- Kronos
- On the expressivity and complexity of quantitative branching-time temporal logics
- Verifying the IEEE 1394 fireWire tree identify protocol with SMV
- Cogent
- Rabbit
- COMBINE
- veriSoft
- mCRL2
- JastAdd
- ConGolog
- LPTP
- Scicos
- PiXL
- SyncGen
- VerICS
- BeepBeep
- ToolBus
- AutoSyn
- WoLFram
- SCTL-MUS
- TASS
- BLAST
- PROD
- RAISE
- APTS
- SPIN
- SMART_
- A compiler for MSVL and its applications
- HyTech
- MRMC
- DiVinE
- LiQuor
- SNOOPY
- Siege
- CUDD
- JACK
- SATIRE
- Uppaal
- Falsification of combined invariance and reachability specifications in hybrid control systems
- Fairness modulo theory: a new approach to LTL software model checking
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
- An explicit transition system construction approach to LTL satisfiability checking
- ScicosLab
- A first-order coalition logic for BDI-agents
- CADP
- Applying model-checking to solve queries on semistructured data
- A bounded model checker for three-valued abstractions of concurrent software systems
- CZT
- MONA
- AgentSpeak
- Jason
- Moise+
- Casper
- TSPASS
- 2APL
- simpleAPL
- ProMoVer
- CoMA
- Modeling and querying biomolecular interaction networks
- Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
- Chaff
- SCR
- PDDL
- ProB
- bv2epr
- TAEMS
- LTSmin
- Maxplus
- PathCrawler
- iFEST
- Symbolic synthesis of masking fault-tolerant distributed programs
- Formal analysis of piecewise affine systems through formula-guided refinement
- BoolNet
- CPAchecker
This page was built for software: NuSMV
